bison: version bumped to 2.7.1.
Merge pull request #296 from Florin65/devel

bison: version bumped to 2.7.1.