Jetty server port changed to 8001 to make it easier to test with Tomcat
log a warning instead of throwing an exception if V7.ini is missing.
Defaults are always set, so exception unnecessary
Empty V7.ini put back into WEB-INF and .gitignore corrected
Renamed BaseModule BaseServletModule
Removed @V7Widgetset - injecting this does not work on Tomcat (but does
on Jetty), causing an NPE.  Seems to be an issue of timing of injection.
See #232
Using DemoServlet to provide widgetset parameter;  this works on Jetty
Deployed on Tomcat, manual tests Ok, but automated tests failing to
identify elements
Testing moved to Tomcat (as opposed to Jetty), which causes tests to
need context.  See #232
All tests now pass.  Closes #232
Notifier removed and replaced with UserNotifier
Added pause to make test more reliable
Removing surplus css file
Timing changes for TestBench testing on Tomcat