GPG related updates

This patch updates the building doc, and adds a new parameter to builder.py
which pulls down signed RPMs.
I am so tempted to make this a super crazy one-liner ☺