[#1366] remove old unused project_tools.html, rename current one
Authored by: Dave Brondsema 2011-01-21
Parent(s): [28036b]
Child(ren): [e4ccd8]