Fix make-pins.py to support having multiple names for a pin.

SW and X17 now both map to PB3
Merge pull request #454 from dhylands/make-pins-multiple-named-pins

Fix make-pins.py to support having multiple names for a pin.