doc(examples/lean): new example

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean): rename command Set to SetOption

It is not nice to have Set as a reserved keyword. See example examples/lean/set.lean

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