feat(frontends/lean): rename '[fact]' to '[visible]'

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(frontend/lean/server): auto completion doesn't use prefix, fixes #147
checkpoint
checkpoint
checkpoint (lean-company)
checkpoint for imenu
checkpoint