Update to new mining tools.

Overhauled most of my mining tools, conversation order is different as a
result.
Need to find a sorting algorithm that is actually stable when handling
64 bit integers.