Fix handling of XML parser errors

This change makes sure that the build script will stop if an XML parser
error occures, and the faulty build will not be propagated to the web
server. Please note that it requires switching all the shell scripts to
bash.

build/logging.sh

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 inc_logging=true