Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Changeset 11512:0c0f25783758 by lars hupel _lars.hupel@mytum.de_: delete report file if already exists
The file was modified	`admin/jenkins/ci_build_all.scala`
The file was modified	`admin/jenkins/ci_build_testboard.scala`