Fixed build for new github environment.
Documentation and git housekeeping.