respect auto_increment in rename_column for mysql

Closes #3493

The PR extracts "extra" on mysql column to fetch `auto_increment` information, which is associated with the column.

This information is then used when migrating.