Fix command line indent in ``README.md``
Fix command line indent in ``README.md``

kyledewey/z3,kyledewey/z3,seahorn/z3,mschlaipfer/z3,seahorn/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,mschlaipfer/z3,seahorn/z3,kyledewey/z3,mschlaipfer/z3,mschlaipfer/z3,mschlaipfer/z3,seahorn/z3,mschlaipfer/z3