Easier installs in ToolGallery

Getting a tool from ToolGallery onto your machine got a lot more direct: ready-made download buttons on every tool page, instead of walking through a build from source.