AFP testboard job (current Isabelle). Triggered by:
'hg push -f ssh://hg@foss.heptapod.net/isa-afp/afp-testboard'