feat(emacs/lean-company): "c-u TAB" asks filter for FINDG
fix(emacs/lean-company): color problem when showing auto-complete candidates
fix(emacs): use looking-at instead of char-after
fix(emacs/lean-server): missing 'rx' at the beginning of regex
feat(library/data/int/basic): create alias for int.int
feat(library/hott): add 'path' namespace
feat(library/coercion): rename class to 'coercions'
feat(frontends/lean/pp): add 'pp.beta' option, closes #154
feat(shell): start 'lean --server' with 'pp.beta = true'