created a node counting binary for deduplication reducement calculations

[arincdemir]

This pull request introduces a new utility for analyzing the AST node count of formulas, along with the necessary build configuration. The main addition is the count-nodes executable, which reads formulas from a file, parses them both sequentially and as a multi-property, and reports on AST node deduplication and compression.

New functionality:

• Added a new executable, count-nodes, to the build system for analyzing AST node counts in formulas. (CMakeLists.txt)
• Implemented src/count_nodes.cpp, which:
  • Reads formulas from a file and parses each formula individually and collectively.
  • Reports the total number of AST nodes when parsed sequentially versus as a deduplicated multi-property.
  • Calculates and displays the node reduction and AST size compression factor.