fix installation instructions

Servlet 3 features are only enabled if web.xml indicates that the app is *using* servlet 3.0.