Add mapping pin to GPIO name.

Used to map existing pin names into pi-blaster pin names.