web.xml: Add space right after PUBLIC for DOCTYPE

Tomcat was complaining about this and wouldn't launch the WAR.
Merge pull request #198 from darylyu/patch-2

web.xml: Add space right after PUBLIC for DOCTYPE