After trying a bunch of music players and mailing my suggestions to their authors I've ended up with writing a small one suiting my own preferences. This player differs from the 'Music' apps that group files by album, artist, etc. And it even differs from other Folder/Playlist-type apps.