drop duplicate indexes in a pandas data frame `df`,df[~df.index.duplicated()]