Add Haskell STM example, enable travis