Refactorization of the coq project. Central files and lemmas now have reasonable names
Added a new evaluation section and removed lowlevel helper proofs file
Merge branch 'master' of github.com:nicolaidahl/BPlusTrees