[purs ide] Tracks the cache-db.json timestamp#3799

kritzcreek merged 4 commits intopurescript:masterpurescript/purescript:masterfrom

kritzcreek:ide-cache-db-timestampkritzcreek/purescript:ide-cache-db-timestampCopy head branch name to clipboard