Add `proof platform` Arguable usage message.

The `proof platform` was no longer available because it had no usage
message defined.

Closes #130.