fix travis opam root
Merge branch 't2review14'