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

The debian repository has been moved to another branch
because of this modification.