PicoVector: Rewrite around new C pretty-poly.h. #5228

Job	Run time
pico (RPI_PICO)	3m 9s
pico_usb (RPI_PICO_USB)	3m 3s
picow (RPI_PICO_W)	3m 41s
tiny2040_8mb (PIMORONI_TINY2040)	3m 1s
picolipo_4mb (PIMORONI_PICOLIPO_4MB)	3m 9s
picolipo_16mb (PIMORONI_PICOLIPO_16MB)	3m 5s
tufty2040 (PIMORONI_TUFTY2040)	3m 42s
enviro (PICO_W_ENVIRO)	3m 4s
galactic_unicorn (RPI_PICO_W)	3m 22s
cosmic_unicorn (RPI_PICO_W)	3m 7s
stellar_unicorn (RPI_PICO_W)	3m 3s
inky_frame (PICO_W_INKY)	3m 23s
	38m 49s

Provide feedback