Add missing web.xml for Travis build.