Normalize github URLs generated by the GitHubDriver, fixes #1551