correct sha for happygrep

installation failed because of wrong sha. Sorry guys, my fault.