Docker-based CI environment for autoproj-based systems (and in particular Rock)