ReindexFile command and minor bugfix.

Hi, ReindexFile can be useful to trigger rdm reindex to the actual file. Though rdm should do this automatically, but for debugging purposes of rdm this can be really handy.

Also adding the location to the jump list is necessary, otherwise the when the file stays the same during the jump, the location is not added to list.

Gabor