Move gzip compression to Dockerfile
Follow up from !14 (merged). It's actually better to move the compression in the Dockerfile so that the built image is also smaller when pushed and pulled from the registry.
Follow up from !14 (merged). It's actually better to move the compression in the Dockerfile so that the built image is also smaller when pushed and pulled from the registry.