Mighty Thymio for University-Level Educational Robotics