Separate microcontroller pin name from pin number from peripheral name

[ducky64]

To address the peripheral name eg ADC1_0 stomping the pin name eg GPIO0 in the design explorer, since the pin name is typically the interface used by Arduino.

Instead of the remapper replacing the pin name with the pin number, it can add a pin number from the pin name and retain both. Peripheral name can be None if it's the same as the pin name. The pinmapper would report all three (if available), in order of peripheral name, pin name, and pin number.