Patch by Tomek Kuchta which adds the --max-stp-time option to Kleaver.