A simple tool to export Google Music playlists to text files