Renamed libopenstm32 to libopencm3 and updated the git source.