Merge various documentation and automated build checking updates #37

Closed finnlindgren closed 6 years ago