Added the beginning of a chapter about tying our proofs about insert and search together with the insert_works theorem.
Merge branch 'master' of github.com:nicolaidahl/BPlusTrees