[RFC] Independent reports.

#12 actually didn't comprise that many changes, so I went ahead and implemented it to see if/how it works.

You can see the result at https://github.com/fwalch/doc2/commits/gh-pages (only commits from Aug 20 are relevant). This is the output of two builds, one is at https://travis-ci.org/fwalch/bot-ci/builds/33041843.

The only thing I'm not too happy about is the very last line of publish-reports.sh:

```bash
until (git pull --rebase origin ${DOC_BRANCH} && git push https://${GH_TOKEN}@github.com/${DOC_REPO} ${DOC_BRANCH}); do echo "Pushing to ${DOC_REPO}."; sleep 1; done
```

Force-pushing will push the full local history, not just the last commit, so I think there is no other way than to update the local clone before pushing.