Add :servlet-version parameter.
Merge pull request #108 from cdpjenkins/web-xml-version

Write servlet version into web.xml