STP command-line options renamed, e.g. max-stp-time renamed to max-solver-time and use-forked-stp renamed to use-forked-solver.
Merge pull request #4 from hpalikareva/gh-pages

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