Speed up elaboration of larger functions

Mostly by making atH less stupid when searching for a hole (there is
more needs to be done on this...)
Merge branch 'master' of github.com:edwinb/Idris-dev