Missing entries in help table of contents

[lwrage]

Some new help content was removed together with outdated content:

• Consistency checker for code generation
• Binding constraints checker
  child of Improve OSATE Documentation #1014