Ability to add goals at the bottom

[surajx]

In gitlab by @surajx on Jan 22, 2016, 19:26

Currently the proofs are written from top to bottom having a goal in mind. John's original requirement was to have students work on proofs from both sides. To implement this in the current framework of the proof system would be challenging but really beneficial for students.