Add CDD performance statistics

[magoorden]

We might want to collect and print performance statistics to the end-user.

I can think right now of the following statistics:

• CDD node table resize information each time we need to resize
• CDD cache performance statistics like
  • Node creation requests
  • Node creation chain accesses
  • Node creation cache hits
  • Node creation cache misses
  • Operation count
  • Operation cache hits
  • Operation cache misses
• Maximum used CDD nodes

(I selected some statistics from the BDD library used in the CIF tool, see https://www.eclipse.org/escet/cif/tools/datasynth.html#statistics for end-user available statistics)