Compress Docker images using XZ

This results in images requiring less disk space.
Merge pull request #408 from flavio/docker_change_compression_algorithm

Compress Docker images using XZ