Set up Team prod deployment

[github-actions]

Acceptance Criteria:

• The main branch is deployed on Dokku at, for example,
  http://team01.dokku-08.cs.ucsb.edu (substituting your
  own Dokku instances for xx).

Details

See the file /docs/dokku.md in the repo for details.