Feature Request: Convenience method to rename a column
Usually when renaming a column you have to write:

```
df.rename(columns={"old": "new"})
```

It would be nice to have a convenience method to rename one column like this:

```
df.renamecol("old", "new")
```