Automate deployment of GitHub pages

[wkillerud]

The process of building the html documentation and pushing it to the gh-pages-branch needs to be automated. Preferably our CI should be setup to do this. Travis has a write up, that might help: https://docs.travis-ci.com/user/deployment/pages/

npm run build:htdocs builds the documentation, which ends up in dist.

[kwltrs]

@wkillerud You are currently the expert on travis. Do think using travis to push to gh-pages is a good idea?

[wkillerud]

Sure, it looks like they have great support for this :) https://docs.travis-ci.com/user/deployment/pages/
I can set up a PR with a suggested config. We should consider which account we create the access token with though, perhaps it's time for a dedicated automation account.

[wkillerud]

Solved by #78 and #89. Still TODO is to create a dedicated account and replace the GitHub token on Travis.

[wkillerud]

@kwltrs, can you sort out the dedicated account and new token? I can help with the config if you need :)

[selbekk]

Should we close this issue and create a new one for creating a new dedicated account? This issue seems to be resolved.

[wkillerud]

Created #96 to track the remaining work