GPG related updates

This patch updates the building doc, and adds a new parameter to builder.py
which pulls down signed RPMs.