ML: command line toys, pretty-printing and parsing based on json, Issuer.pub and Issuer for tests.