Better handling of eof_mp3 events: Keep playing as long as there is data remaining.

include/controller.h

@@ -27,4 +27,5 @@ class Controller {
 	void play();
 	void play(String rfid_id);
 	void stop();
+	void eof_mp3();
 };