[Keelgroup] build with 'maven war'

[Bruce Powell]

Thank you, Can we update ch13 so ensure user goes into the default directory of example-projects? The build included a lot of jars in the war, but no web files, e.g. index.html, and the following errors       [copy] Warning: Could not find file C:\keel\keel-build\example-projects\default\logkit.properties to copy.     [copy] Warning: Could not find file C:\keel\keel-build\example-projects\default\roles.properties to copy.     [copy] Warning: Could not find file C:\keel\keel-build\example-projects\default\instrument.properties to copy.   regards Bruce Powell