[do not merge] Deduce Debugger

[Temperz87]

Adds a gdb like stepper for the functional part of deduce, which turns on when the --debug flag is passed in. Currently what's supported is:

• Continue
• Next
• Step Into
• adding break points through the CLI

What needs to be worked in is:

• Making the CLI user friendly. Namely everything exposed to the end user is ugly
• Refactoring some parts of the code and adding comments
• Stepping over theorems automatically
• The break keyword

What's not supported and won't be included in this PR is:

• Stepping through theorems or proofs in general

I'm also looking for someone to try and break the debugger as I don't know if I've tested every combination of inputs.

[jsiek]

What does Next do?

[jsiek]

The most important command is 'Step Over'. Could you add that to the to do list?

[Temperz87]

Next is step over, I can rename it