Pass url catalog and access token when proving.

Minimize prove_options method Since the specific prove-options are built in the class Proof, we only need to supply the proving mechanism with the basic prove-options, which set the resource specific values.

Rename resource's prove_options method.

Remove unused proving methods.

Rewrite ProofsController to use Proof FakeRecord.

Pass ProveOptions to [async_]prove methods.

Create and use ProveOptions.

Obey Hound.

Add controller and view for proving.

Add OntologyVersion::Proving module.