The algorithm generated rules of the automaton with the top of the pushdown
store symbol on the right, which is according to the algorithm, however, the
representation of PDAs and every PDA processing algorithm assumes the top of the
pushdown store is on the left.

The IsLanguageEmpty algorithm returned wrong result (the opposite boolean) because of wrong use of the set::count method. Also use set::contains to make the code clearer.

Remove CMakeLists.txt generator scripts from build phase. Replaced with
CMake's GLOB that can re-run every time the build is invoked. We can
also drop the Python dependency now.

Removed header installs which will be redesigned in future commits.