sql.py: add_col(): Version column names to avoid collisions. (Previously, callers were required to do this themselves.)