GitHub button plugin for OJ. Based on https://github.com/mdo/github-buttons