Added quite a few exfalso's to ensure compat with older Coq versions.
Introduced kv_appears_in_kvl and kv_appears_in_tree, and changed everything.
Merge branch 'master' of github.com:nicolaidahl/BPlusTrees
Merge branch 'master' of github.com:nicolaidahl/BPlusTrees