Added some utils for reading/writing single-value files.
Track our last indexed time in a separate file.

More correct and more robust than using last mod of the db file.
Added Config.codexURL().
Shutdown any existing instance of Codex when we start.