Add separate module for converting JTE times to MC times and use that in `tohdf5`
In the past, the AanetPump
had an option to automatically convert JTE times to MC times.
This should be handled by a separate module (in km3modules/mc.py
) and used in tohdf5
if the corresponding command line option is set.