Editorial.
Renaming "number" -> "index", and strengthening use of "index".

clause_info::number -> index
lit_info::clause_occ -> clause_index
lit_info::clause_index -> literal_index
change_info::clause_number -> clause_index
Removed superfluous constants.
Renamed clause_info::c_ucl -> unit.
Update version.