Update test to ghilbert-app commit 28eebf2 so peano_thms.gh verifies.
Import verify.js from ghilbert commit 3ce3ce
Use the JS verifier to parse incoming proofs.

Output format still the same, though whitespace is normalized and comments are
removed. More importantly, now we have the power to change it.