make-release: take .app path as argument
build script: add make doc to log
signing script: define CODESIGN_ALLOCATE
rebuild documentation
fix change log: mark top in rawhtml