tweaking the prover interface + port to new ExtLib.
Merge branch 'master' of github.com:gmalecha/mirror-shard

Conflicts:
	src/Expr.v
	src/Tactics.v