various printf/debug output improvements

... among those is a rotor (\|/-) that is printed by the main loop,
so one can observe if the main loop is still executing or the system
is somehow stuck.
diff --git a/firmware/src_board/iso7816_4.c b/firmware/src_board/iso7816_4.c
index ec07d73..d71e156 100644
--- a/firmware/src_board/iso7816_4.c
+++ b/firmware/src_board/iso7816_4.c
@@ -141,8 +141,8 @@
     while((us_base->US_CSR & (US_CSR_TXRDY)) == 0)  {
         i++;
         if (!(i%1000000)) {
-            printf("s: %x\n", us_base->US_CSR);
-              printf("s: %x\n", us_base->US_RHR & 0xFF);
+            printf("s: %x ", us_base->US_CSR);
+            printf("s: %x\r\n", us_base->US_RHR & 0xFF);
             us_base->US_CR = US_CR_RSTTX;
             us_base->US_CR = US_CR_RSTRX;
       }
@@ -152,6 +152,8 @@
     /* Transmit a char */
     us_base->US_THR = CharToSend;
 
+    TRACE_ERROR("Sx%02X\r\n", CharToSend);
+
     status = (us_base->US_CSR&(US_CSR_OVRE|US_CSR_FRAME|
                                       US_CSR_PARE|US_CSR_TIMEOUT|US_CSR_NACK|
                                       (1<<10)));