Add support for beamer lemma environment.

File fomat change.