feat(bin/version): add missing version file
feat(emacs): add lean-fill-placeholder (C-c C-f)
feat(shell/lean): add --index option

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(library): remove LEAN_VERSION_FILE from Makefile.common, it breaks the build on Linux

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(library/hott): remove hott_lib from build, it will be integrated in the standard library

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/Makefile.common): generate .ilean files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(.gitignore): ignore .ilean files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library/definitions_cache): rename to definition_cache

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
checkpoint

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>