pygithub: symlink module to "pygithub" to allow import under less common name