Better formatting of arduino_pins_info().