Update random seed on each restart

Author: vshymanskyy

examples/Wasm_PyBadge_Dino/Wasm_PyBadge_Dino.ino

@@ -162,6 +162,7 @@ void setup()
         //NVIC_SystemReset();
 
         // Restart Dino game
+        init_random();
         display_info();
         load_wasm();
         delay(100);