Make ci-travis use nix environment for reproductibility