Admin/components/ci-extras
2016-05-24 Lars Hupel 2016-05-24 new Isabelle component for CI infastructure