hannesm Merge pull request #383 from hannesm/minor
adjust to opam repository, add 4.07 to travis matrix
Latest commit c824730 Aug 24, 2018