Added Servlet API as provided scope dependency

Ensures that JBDS 7 does not throw a spurious error on importing
the project.