Allow setting the depth of proof search

This is done with a numeric prefix argument to C-c C-a.

Relies on https://github.com/idris-lang/Idris-dev/pull/1251.