ci: Adds continuous deployment through DockerHub

[frgfm]

This PR introduces the following modifications:

• makes the docker image slightly lighter
• updates the docker build job and adds an autodeploy job using Dockerhub

Any feedback is welcome!