Split up docker to speed up pushing