Show Travis CI badge for develop branch
Use fromNonNegative instead of fromIntegral

The code with `fromIntegral` doesn't compile with QuickCheck-2.7.1 on Travis.