Como não encontrei esse tipo de player, implementei um para uso próprio como um script Python, que suporta a reprodução de .m3u
files, e chama o mplayer com o valor -ss
adequado para retomar a reprodução de onde parou última vez. Obtê-lo de link (página do projeto: link ).