ww1hash_reindex - regenerate indices for WW1Hash databases.
ww1hash_reindex course
ww1hash_reindex will remove and regenerate the embedded indices in the
WW1Hash database of a course using the gdbm database layout.
This is necessary if there are inconsistencies between the PSVNs indexed and those actually existing in the database.