Use CMake for configuration of builds

This pull request contains a first configuration using the CMake build system to set up the TCT-analysis.
To run this, enter
```
cd build
cmake ..
make install
```

A shared library is installed in ```./lib``` and an executable in ```./bin```.
The version number is determined from the latest git tag (none so far, will generate an error) or from hard-coded values.
To generate the doxygen documentation, run ```make doxygen```.

Sorry, this was a merge-conflict accident... adding it back now.