Add a bunch of known_hosts for sourceforge.
draft
2021-02-05, Gary Kramlich