More examples of custom type conversion

Added examples for dealing with bad data and with multiple formats in
a single field.
Update travis-ci config

Since cabal check complains when we use -O2, we cannot use it.