top level: make GCC 4.8 compilable
src/timbuk.y: make Bison 2.7.12 compilable
CMakeLists: enable static linking of the frontend