PRs from keyman-server will be automatically approved and merged. Also tidies up other GitHub bits and pieces.