Add travis.yml and set-up auto-haddock deploy

I don't know if this works yet, but we'll see.