sql.py: index_col(): Cache the query so it doesn't try to add an index on the same column multiple times