A Python/gstreamer-based command-line media player