mpg123-frontend that can mix two mp3 streams, and fade between them