script to download install plugins (faster than Eclipse Marketplace!)