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