No set

@DanielG I have used this patch set at least for one week and it seems stable. Please merge them and make a new release.

- if augen files are missing, ghc-modi automatically generates them
- dist/setup-config is re-generated if out of date
- ghc-mod-0.cache is re-generated if out of data
- A session is restarted if the timestamp of <project.cabal> changes.
- A session is restarted if the timestamp of package.cache changes.
If `setup-config` exits but is outdated, we need to override it.