Update Proof.java

Added isDone, to be changed to true when the first "show" statement is inferred.

Assume can only be called after a show or another assume, so I added that condition.

Implemented mp,mt,and ic. Had to change things to adapt to Strings vs LineNumbers.