Add optional String name to ObservableSatellite (or use the satellite number to build a default name, if needed)
I have noticed that when I create ground-based measurements and do estimation on those measurements, it is nice that I can pull a String name out of the TopocentricFrame used to construct GroundStation, in order to associate a particular measurement with its ground station by name.
Similarly, it would be nice to be able to pull some kind of String name out of the “ObservableSatellite local” used to construct an InterSatellitesRange measurement.