Use the jrl-travis submodule to simplify the use of travis.

Also correct the display of polyhedron.
(Note that the commit b512092 makes travis use my version of sch-core). If the PR on sch-core is accepted, this commit can be removed.