Improved web.xml and SearchEngineServletFilter.java documentation
.gitignore updated