feat(frontends/lean): add infixl/infixr/postfix/precedence commands, add support for storing notation in .olean files, add support for organizing notation into namespaces

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