fix 1360: when cross-repo definition has no associated rev, default to HEAD
Created by: lguychard
The issue was caused by cross-repo definitions without an associated revision:
The website code handles this gracefully in encodeRepoRev
This fix mimics the website's behaviour for the Github CodeHost by defaulting to HEAD in buildJumpURLLocation
if the definition has no associated revision.