autoproj build configuration for rock.core's travis CI