Set a pandas column as the index, then restore the default integer index while retaining the original values.
