If dictionary files have changed, reload them

Store the last modified date of the dictionary files and store it when
the dictionary is loaded. Then each time getDictionary(...) is called,
check the modified date and reload the dictionary if it has changed.