Separate models and analysis options #110
Description
The ARCH models already have separate files for the model and the analysis options. We should do that for the other models as well.
And now that we have several continuous-time algorithms in Reachability, we could also add these new algorithms.