update-the-index: document update-ranking steps
fix format string
compute-ranking: implement -verbose (default false)
delete obsolete countReverseDepends function