sql.py: add_index(): Don't generate a unique name for the index because the database does that automatically