Even more changes to doc/MARKOV: We can use the -max-run-time option instead
of trying to find a proper markov level for measurement.