Reordered proofs related to split-list.
One less admit in split_insert_right.
Merge branch 'master' of github.com:nicolaidahl/BPlusTrees

Conflicts:
	code/InsertWorksProofs.v
	code/SortingProofs.v
Code-reordering, and ensure that it compiles with SplitCutList.