A CI tool that frontends to github et al. and backends to BaTLaB