Finish auto-upload of documentation

Pádraig Ó Conbhuí
2018-11-06T13:58:01Z

Finalize where the public repository will be, and the automatic uploading of documentation.