* configure: get rid of pcre dependency
* travis-ci.sh: use opam again