Implemented WISE websocket backend using spring 4 websocket architecture.
Merge branch 'spring4.0.x' of https://github.com/WISE-Community/WISE into spring4.0.x
Changed javax.servlet from 3.1.0 back to 2.4