An example of how printf can be redirected to UART with nRF51822