Add device listing capabilities

- acr122: add acr122_pick_device(), acr122_list_devices();
  - Add device name to device descriptions (nfc_device_desc_t) to select a given PCSC device;
  - Use constants for driver names;
  - Various code cleanups and enhancements.

src/lib/drivers/pn532_uart.c

@@ -21,6 +21,8 @@
  * @brief
  */
 
+#include <stdio.h>
+
 #include "pn532_uart.h"
 
 #include "nfc-messages.h"