Creating and proving proof requests

[pimotte]

Seems to work. Interface is clean, implementation is kind of confusing, but I think this is reasonably future proof, might need some work when we start with revocation.