chore(.gitignore): ignore .md.lean files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util/serializer): simple serialization infrastructure

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