Use a leaner tomcat base image.

Also parameterize the Taverna Server version number.
Update server README with better port information.
Document the known interaction issue workaround.