First draft of the valid_bplustree Prop.
Added a few helper proofs related to lists and lengths.
Further work on the B+-tree proofs. Now with a proof that split_list preserves the list.
Merge branch 'master' of github.com:nicolaidahl/BPlusTrees