STP command-line options renamed, e.g. max-stp-time renamed to max-solver-time and use-forked-stp renamed to use-forked-solver.