Add link to the github mirror on the front page of the doc