Fix documentation/help, document --parallel

src/main/scala/leon/Main.scala

src/main/scala/leon/solvers/isabelle/Component.scala

src/main/scala/leon/solvers/smtlib/SMTLIBCVC4Solver.scala

src/sphinx/options.rst