opam lint
Add travis scripts