Some Spider server variables are not documented

Some server variables of the Spider storage engine are not documented at all, e.g., spider_use_cond_other_than_pk_for_update. Create a complete list of Spider's server variables, and then add a description to each of them.