Added 3 admitted lemmas about insert_into_list.
Merge branch 'master' of github.com:nicolaidahl/BPlusTrees
Updated some proofs to work with my older version of Coq.
Merge branch 'master' of github.com:nicolaidahl/BPlusTrees

Conflicts:
	code/FindSubtreeProofs.v