[PATCH] An update to Gump

[Larry Isaacs <La...@sas.com>]

Hi,
 
To make it easier to work on some Gump failures with the
jakarta-tomcat-xxx projects, I modified Gump to add the
following two features:
 
1) Gump will make a local copy of external href's, so they can be 
published successfully.  It works for href's that begin with "http://" 
and "file://".  I made similar changes in bash.xsl that I made in 
win2k.xsl.  So far, I have only tested the changes with Win2k.
 
2) A "remove" attribute on a project (or a module, repository, or 
server) will cause it to be ignored.  This allows me remove 
unnecessary projects in a module file and avoid introducing their 
dependencies into the workspace.  This lets me get the Gump cycle 
time down for dealing with jakarta-tomcat-xxx Gump problems.
Feel free to use a different name than "remove" if there is something
more consistent.
 
Attached are the diffs for implementing these features.
 
Cheers,
Larry Isaacs