added haskell as the language: no agda in travis yet