We need to use docker here as travis only provides Ubuntu 14.04 based
images which are not enough for us to build everything.