Add SysML constraint checker plugin
Change name of SysML Constraint Checker plugin
Change name of Classical B keyword check
Rename and change the test for Classical B identifier
Add constraint check for C99 keywords
Fix typo in constraint description