Clear out the tools/ directory: nothing in there is current (or used!)
Fix dependencies for maven build of the refinement tool (really!)