Update to the new libopencm3 and use its new build features