VGM file playback tools consisting of a command-line player, and a winamp plugin