feat: add Docker deployment for third-party infrastructure#150

Rau1CS wants to merge 1 commit intoConway-Research:mainConway-Research/automaton:mainfrom

Rau1CS:feat/docker-deploymentRau1CS/automaton:feat/docker-deploymentCopy head branch name to clipboard