Adds opam-rt+heuristic to travis, and fix it