A Python MIDI Mixer / Player with an OpenGL based GUI