Add support for beamer lemma environment.

File fomat change.
Merge remote-tracking branch 'github/build-bot-master' into bleeding-edge-master
2014.08.31-11.01