[TravisCI] Try unbreaking the TravisCI metaSMT build. Copying across

the `cmake` directory breaks KLEE's CMake build.

Just copy across the STP library for now. This really sucks.
The script needs to do a better job of installing MetaSMT and
its dependencies.

For reference here's the error.

```
CMake Error at /usr/lib/cmake/STP/STPTargets.cmake:67 (message):
  The imported target "stp_simple" references the file

     "/usr/bin/stp_simple"

  but this file does not exist.  Possible reasons include:

  * The file was deleted, renamed, or moved to another location.

  * An install or uninstall procedure did not complete successfully.

  * The installation package was faulty and contained

     "/usr/lib/cmake/STP/STPTargets.cmake"

  but not all the files it references.

Call Stack (most recent call first):
  /usr/lib/cmake/STP/STPConfig.cmake:15 (include)
  /home/travis/build/klee/build/metaSMT/build/metaSMTConfig.cmake:6 (find_package)
  cmake/find_metasmt.cmake:10 (find_package)
  CMakeLists.txt:360 (include)
```

0 files changed, 0 insertions, 0 deletions