add tags to image and only push docker on Master

[costateixeira]

With this PR, when there is a commit or PR to Master, the docker image on docker hub will be updated in github with 2 tags:

• the tag of the version from library/version.inc
• the "latest"

The docker image will not be updated on PRs or branches.