Use github permalink (using sha)

GitHub links should use the sha-permalink rather than pointing to branches. As the branch HEAD moves, the targeted line numbers can go out of date.