Admin/build_release
2016-10-13 wenzelm 2016-10-13 replaced shell script by Isabelle/Scala;