Makefile: remove executable on clean
.travis-ci.sh: add missing opam dependencies