Removed prov-taverna-cmdline as it is now included in the main Taverna distro.