Add verify inclusion proof command-line

[ariard]

This is #95 with some fixes.

The whole mainstay and inclusion proof verification still would need more testing and documentation.