a basic travis infrastructure
added haskell as the language: no agda in travis yet
travis button in README