fix(frontends/let): let-expression pretty printer

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(build): invoke linja from lean build

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