Improve opam script.
Indicate CI state.
Update travis script