Minor output formatting changes

changelog.sh: adapted generation of changelog for documentation
to better fit the web.

build.sh: final notice updated.
#changelog