Significantly shrink Docker image.

Advice from
https://medium.com/@kelseyhightower/optimizing-docker-images-for-static-binaries-b5696e26eb07