Add a hack to make github urls case-insensitive. Fixes #84