added a 3-liner hack-around: because some projects use one name for their repo and a diff name for the war file, a simple lookup table (see repo2war-name.lookup) is used to lookup the war filename when constructing the maven repo URL HTML link