add command line tool for proof generation & verification

[jan-ferdinand]

It would be nice to run Triton VM as a command-line tool; Andrew Milson's demo of ministark is a good example; basically one sub-command for proving and dumping something into a file (or stdout), and another sub-command for verifying by reading that file (or stdin).

(extracted from #164)