docker: Compress Dockerfile into fewer lines