Update semver.md

update BNF