Update submodules
Remove mail sending and committing

Change build.bash to a simpler script that is intended to be run
manually rather than automatically. Also, remove the 'git commit'
command, because the working directory is expected to be clean
initially.