fix(util/lean_path): bug at init_lean_path (it was missing last path), and add normalization function

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(util/lean_path): bug at init_lean_path (it was missing last path), and add normalization function