Configurable pin numbering scheme

Possibility of configuring the desired Raspberry Pi GPIO pin numbering
scheme added to config.xml with necessary changes added in
raspibrew.py. Supports either BCM or BOARD, with BCM as default
behavior.