make it easier to set various build-time options

Make it easier to set github account, github branch or rpm installation directory.

These things allow us to build a standardized, versioned rpm from a specific release instead of having an ever-updating release version based on a datestamp and git hash.