Dump (unique) values to CSV / to_csv in Pandas