Add stock web.xml from Apache Tomcat 7.0.42.

[#55434144]
If login/saml_login.protocol == https, force use of SSL.

[Finishes #55434144]