Allow setting the depth of proof search

This is done with a numeric prefix argument to C-c C-a.
Merge pull request #154 from david-christiansen/proof-search-depth

Allow setting the depth of proof search