Renamed repository_scripts to repository_tools

Changed the name of the repo tools folder, as tools seemed more an apt description of
what resides there.