Adapt error message of `shouldSatisfy` (close #3)
Update travis-ci config