Remove tomcat7-websocket dependency mapping

The Platform now uses Tomcat 8 so the mapping to the Tomcat 7-specific
coordinates is no longer necessary.