Standardize file headers

* Make the formatting uniform and the descriptions plain and direct.
* Drop the copyright statement for now; it's not a concern and we can work it
  out later.
* Rename read_hosts -> read_dsh_hosts_file

Change-Id: If20721d44a91a7e8ca65832ea73439833f87ab31