explicitly install sudo

```deploy.sh``` in the docker container requires ```sudo```; this should resolve #127.