The command-line prompt is always shown
Empty input fails to produce a new model
Non-empty input produces a new model
Provided a main method for user interaction
Added `show` command for displaying the proof
Emit an error message for meaningless input
Upgraded to Scala 2.11.4