Add maxtime flag

Add a maximum time for solvers.
This is not the same as `--tau`. This applies to the real time.