Resolve "add docker push for built image"

Release notes

• CI now automatically creates and pushes docker images

Details

This is an automatic action for tags, but manual for branch commits.

Closes #88 (closed)