Added documentation for CFG2CNF
Added CFGParser documentation + fixed CMake bug