Optionally remove Tomcat extras

Shane

2016-03-15 c81a18236f631adcd3e3960cd4d3ad57c2cb1a96

1
2
Download plugin zips and place them here when building to include them in
the container's GeoServer deployment.