Add a method getPropagator() in the XxxNavigationMessage classes of Orekit
@bryan As requested by Bryan, opening an issue to add a method getPropagator() in the XxxNavigationMessage classes of Orekit to allow for direct initialization of the appropriate propagator for a given navigation message.