Updated github.txt to point to latest opaque-keys commit