Conflicts:
	papers/2016_c_parsing/challenges.tex

Add Menhir's version number at the bottom right of every page.

of menhir --suggest-ocamlfind, so that the Makefile works when
Menhir is compiled as a Windows executable. (Suggested by Jonathan
Protzenko.)

bindings of the form [x = $i] for ocamlyacc. This should work around a
name capture caused by the fact that ocamlyacc internally translates
[$i] to [_i] (and our own variables are often of the form [_i]).

a single data constructor with a Boolean parameter.

%on_error_reduce declarations are now preserved by the unit-actions
modes (as they should be, I suppose; this is undocumented anyway).

clarify the code. No observable change.

%type declarations for ocamlyacc. (Reported by Kenji Maillard.)

(because the token has unit type), use a unit value instead.
Bug report by Kenji Maillard.