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>
fix(library/declaration_index): style

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(emacs): replace metavar '?M_n' with '_' in synthed expr
fix(CMakeLists.txt): use bin/lean to build library

close #49
fix(library): add LEAN_VERSION_FILE to Makefile.common
feat(library/standard): add classes for relations
feat(library/hott): begin porting Coq HoTT
refactor(library/standard): integrate hott with standard library
feat(library/standard/hott/path.lean): add theorems and clean up file
feat(library/standard): add sigma types and subtypes, make inhabited constructive
feat(library/standard/logic): add class nonempty