Added code from CHC2C implementation

[leventeBajczi]

This PR adds support for serializing XCFAs to C-syntax goto programs. Furthermore, it has the following bugfixes/enhancements:

• Support for __PRETTY_FUNC__ in primaryExpression (See C.g4, ExpressionVisitor)
• Enhanced the CComplexType.getType (See CComplexType, C{Void,Double,Float,LongDouble})
• Add CHC ProcedurePass manager param (See ChcForwardXcfaBuilder, ChcFrontend)

[leventeBajczi]

It also seems like I inadvertently fixed some copyright header / formatting issues for xcfa-refactor. While not technically relevant to this PR, I'll leave it as-is so that merging this PR will also fix those issues on the target branch.

[leventeBajczi]

Merged fixes from #233, so that should be merged beforehand.

[sonarcloud[bot]]

SonarCloud Quality Gate failed.   

6 Bugs
0 Vulnerabilities
0 Security Hotspots
53 Code Smells

30.7% Coverage
0.0% Duplication

Catch issues before they fail your Quality Gate with our IDE extension SonarLint