Rename "pump" command to "distcc-pump" Distcc pump mode is started by a command that upstream calls "pump", which is already in use by another Debian package. . We rename that command to "distcc-pump" and change any references to it in the rest of the package. This patch updates the references, the script and it's man page are renamed in debian/rules.
