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

SW and X17 now both map to PB3