change to picolibc on keithp.com

keithp
Thu, 17 Oct 2019 14:44:11 -0700

Changed pages: picolibc
Changed by: keithp
Commit type: git
Date: 14:44:11 10/17/19

fix picolibc version numbers