rename tools -> devtools
Merge pull request #511 from rmcgibbo/rename-tools

[MAINT] rename tools -> devtools