#621 CIF controller properties checker adds results to 'controller:properties' annotation

• Best to review per commit. The test changes should be considered together, but are in multiple commits.
• Changes:
  • Add controller:properties annotation to CIF. I opted to allow no, some, or all check results to be present. This way we can do each check separately on the output of the previous one, or we can even redo a check.
  • Controller properties checker adds/updates the annotation in the input model (for enabled checks only), and writes the modified model to a file.
  • There are convenient APIs for PLCgen etc to query the annotations.
  • Some small changes in bounded response code. Not end user visible.
  • Fixed a typo in the controller properties checker documentation.
  • Fixed a crash on reporting static evaluation errors for getting documentation from nameless objects (affects CIF code generator).

Addresses #621