update travis and add local opam script
sync changes