#816 PLCgen: Adopt maximum iteration boundaries from the bounded response check if they exist.

Readable by commit.

Not sure I like all the warning spam if you don't follow the recommendations, but on the other hand, it's silent if you do :p

End-user visible:

• PLCgen will now by default, through its 'PLC maximum iterations' option, use the iteration bounds from the bounded response information of the input specification's controller properties annotation, if applicable. It still has a fallback to infinite loop bounds.
• PLCgen now warns about generating PLC code for a specification that was not checked using the CIF controller checker, or if it was checked but some of the checks didn't hold.

Closes #816 (closed)