travis.sh: make sure EXTRA_REMOTES are added
travis.sh: make sure EXTRA_REMOTES are added

Signed-off-by: Marcello Seri <34fd14c67154e888f6587d5c0e7eadd13aaf7ca7@citrix.com>

mseri/xs-opam,xapi-project/xs-opam,gaborigloi/xs-opam,lindig/xs-opam,mseri/xs-opam