A python tool to sync m3u playlists