remove MineManager tool. It has its own repo now.