Minimize docker prod image size

[solsson]

See comment in #3

[solsson]

Actually because the build result is an executable jar, in production we'd ideally run openjdk:jre and as a single build step install maven, produce jar, delete mvn repository, delete src folder, uninstall maven.