pretty-print-parsed header.json, added a simple download script to go along with the remote directory listing of ephemeris 406