Jenkins plugin. Provides generic tool installers