Property docker_package_build_image unused

[hbruch]

To change the name of the docker image I add the following property to build.py:

project.set_property('docker_package_build_img','myrepo/myimage:{}'.format(project.version))

docker_package_build_image seems to be unused.

Additional suggestion: if the name does not contain a colon, append project.version.

[hbruch]

And there seems to be an inconsistency concerning the expected return value of get_build_img. If docker_package_build_img is unset, the version is appended.

However, do_docker_push appends the version a second time, so I think get_build_img should not return the version at all.