Log web.xml before and after modification

Also log that we are changing web.xml rather than writing straight
to STDOUT.

[#53222667]
Merge 53222667-log_web_xml_edits to master

[Completes #53222667]