STP command-line options renamed, e.g. max-stp-time renamed to max-solve...

...r-time and use-forked-stp renamed to use-forked-solver.