Renamed tools to devtools
Merge pull request #551 from peastman/master

Renamed tools to devtools