Support for bison 2.7 and flex 2.535
Merge branch 'master' of https://github.com/dreal/drio

Conflicts:
	src/shell/CMakeLists.txt