GPG related updates

This patch updates the building doc, and adds a new parameter to builder.py
which pulls down signed RPMs.
Merge pull request #1365 from beav/gpgsign

GPG related updates