Set up autodeploy to live server

[jonnor]

Right now one must (presumably, as this is not documented anywhere) log into the webserver, and fetch/syncronize the repo used there with the one in git/github in order to make changes go live.

Instead this should be automated to happen automatically when making a tag/release.

[jonnor]

A possible approach here would to enable Travis CI, which would run a job on each change in git. This gives us a full Linux system, which we can use to do whatever is needed. For instance on tagged commits, run the commands needed to push/sync the live system.

Travis supports storing secrets (like for SSH login) safely using encryption, https://docs.travis-ci.com/user/encryption-keys

[jonnor]

Using the same mechanism one could make all changes to master go to the staging server