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