A minimalist music player in python, using the new Gstreamer 1.0 API