New release of Menhir: 20141215.
Merge pull request #3203 from fpottier/master

New release of Menhir: 20141215.