Explicitly set Bison output header name

Different versions of Bison generate different header file names by
default.

Signed-off-by: Morten Hustveit <mortehu@google.com>