feat(shell/lean): display src file name when printing 'file not found in the LEAN_PATH' error, closes #47

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/server): add EVAL command, closes #40

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