delete tool.inc
Merge branch 'WIP' of github.com:GP-S/HOTS into WIP