Initial CMake configuration.

I wasn't sure what to name the project or executable so I chose
concolic-tester. This searches for Valgrind / VEX using pkg-config.