tweaking the build files.
adding a few more lemmas about multi-memory operations.
Merge branch 'master' of github.com:gmalecha/mirror-shard
fixing the dist line.
adding a [make init] rule.
fixing to support latest ext-lib.
tweaking the prover interface + port to new ExtLib.
Merge branch 'master' of github.com:gmalecha/mirror-shard

Conflicts:
	src/Expr.v
	src/Tactics.v
added hnf in sep expr lookup, some idtacs for debugging
modified SepExpr reifier to use is_const
tries to simpl in funcs too, to deal with append in funcs
adding RawInstantiation which converts an instantiation to a list.
Merge branch 'master' of https://github.com/gmalecha/mirror-shard
Merge branch 'master' into no-Const
Changes to make no const branch work with new updates