[feature] Add Docker deployment step to GitHub CI
[feature] Add Docker deployment step to GitHub CI

see #3696

lcahlander/exist,dizzzz/exist,wolfgangmm/exist,lcahlander/exist,lcahlander/exist,adamretter/exist,wolfgangmm/exist,dizzzz/exist,adamretter/exist,windauer/exist,adamretter/exist,dizzzz/exist,lcahlander/exist,windauer/exist,eXist-db/exist,eXist-db/exist,windauer/exist,eXist-db/exist,wolfgangmm/exist,windauer/exist,eXist-db/exist,eXist-db/exist,wolfgangmm/exist,wolfgangmm/exist,adamretter/exist,lcahlander/exist,dizzzz/exist,adamretter/exist,dizzzz/exist,windauer/exist,lcahlander/exist,wolfgangmm/exist,adamretter/exist,eXist-db/exist,dizzzz/exist,windauer/exist