Added ability to set the JPL ephemeris when loading SPICE files
Use new TOA reading convenience function.  Other minor changes.
Added default for planet Shapiro in get_TOAs