Add tools to convert history from old database (<= 6.07) to new (7.00)