rename tools/ to devtools/