[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)
```

1 files changed, 1 insertions, 1 deletions

diff --git a/.travis/metaSMT.sh b/.travis/metaSMT.sh
index b88963dd..26a61c6b 100755
--- a/.travis/metaSMT.sh
+++ b/.travis/metaSMT.sh
@@ -25,7 +25,7 @@ sudo cp dependencies/Z3-2.19/Z3Config.cmake /usr # this is a hack
 sudo cp deps/boolector-2.2.0/lib/* /usr/lib/              #
 sudo cp deps/lingeling-ayv-86bf266-140429/lib/* /usr/lib/ #
 sudo cp deps/minisat-git/lib/* /usr/lib/                  # hack
-sudo cp -r deps/stp-git-basic/lib/* /usr/lib/             #
+sudo cp -r deps/stp-git-basic/lib/lib* /usr/lib/          #
 
 # Build
 make -C build install