A simple media player using Python 3 and Gtk 3