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>