I'm not sure what I'm doing wrong but I can't seem to download the toolset manager. I went to the GitHub and downloaded toolsetmanager35 and it downloaded as a .jar file. I then compressed it to a zip file and when I try to install the extension nothing happens.