Removing some toolinfo.json files, adding an option for repository in the toolinfo.json spec