Worked around a bug in libopencm3 on the systick setup and added
some notes to readme about formatting numbers.