Redesigned the packaging of the distribution files.
The GPG key name is now passed into scons and the user manual is no longer compiled.
Authored by: bugman 2008-09-28
Parent: [r7433]
Child: [r7435]
