'search' now fails if there are metavariables

But only in tactic mode --- in interactive editing it leaves the
metavariables so they can be solved by hand.

Requires "make lib_clean" due to ibc version increment.
Merge branch 'master' of github.com:idris-lang/Idris-dev