One of the best open source media players for Android, Linux, iOS, Windows, and OSX has just been improved with the release of a new version.