#1459 CIF codegen: support array concatenation

• End-user visible changes
  • The CIF code generator now supports the + binary operator on arrays (array concatenation).
  • The CIF C89/C99 code generators have some typo fixes in the function documentation of generated array/function type printing code.
• Other changes:
  • ExprCodeGen.convertBinaryExpression: less explicit casting, defensive programming with explicit 'else' case.
  • The ExprNoSpecificBinaryExprsCheck can now disallow ADDITION_LISTS_NO_ARRAY, while previously it only had ADDITION_LISTS.

Closes #1459 (closed)