Revert "Rename "tools" to "scripts""

This reverts commit 2661d1f10f343f09aa2e32fccf5b548b3a017aec.