Show COVID-19 exposure notification statistics

Based on !390 (merged)

Displays how many unique MACs (aka phones) which send exposure notifications have been seen during the last 100 seconds.

It tries to distinguish between Apple and Google devices based on a heuristic mentioned in https://github.com/znuh/microbit-corona-scanner. The user can choose if they want the LEDs and/or the vibration motor to show newly discovered MACs / exposure notifications.

Loosely based on:

• https://github.com/kauzu/CoronaAppDetector
• https://github.com/frankrieger/CoronaAppDetectorM5StickC
• https://github.com/znuh/microbit-corona-scanner

Most of the logic resides in a plain Python script and can be modified by the user as needed.

pycardium/modules/sys_leds.c

@@ -221,7 +221,7 @@ mp_leds_blink_rocket(mp_obj_t led_in, mp_obj_t value_in, mp_obj_t time_in)
 	int time  = mp_obj_get_int(time_in);
 
 	if (value > 31) {
-		mp_raise_ValueError("brightness must by < 32");
+		mp_raise_ValueError("brightness must be < 32");
 	}
 
 	epic_leds_blink_rocket(led, value, time);