New binary search function, binary_insert. Not yet working.

Also converted the indentation in binary-search from tabs to four spaces.
Noticed I had an extra True clause in the invariant for binary_search; removed
that as well.
Merge sort approach to inversion.