Build docker image

[rtubio]

In order to better automate the deployment, it will be good to automate the building of the Docker image, push it to Docker hub and use that published image to further deploy the system into production.