Turned the clumsy `make index` into `make refresh`

which basically regenerates the list of modules and staging rules (after
a git checkout, etc.).