Python tools for converting between Earth and Mars time