doc: fix wrong Travis-CI URL
doc: add new opam trick to `development.md`