Add travis changes

.travis.yml

@@ -3,6 +3,8 @@ sudo: true
 language: python
 python:
   - 3.6.5
+services:
+- docker
 install:
 - sudo apt-get -y update
 - sudo apt-get -y install build-essential gcc-multilib cmake python3-pip python3-setuptools libffi-dev python3-nose
@@ -42,4 +44,6 @@ script:
 - if [ $TASK = PRIMES ]; then nosetests3 tests/test_primes.py ; fi
 #- if [ $TASK = STREAMINGANDFORMATTING ]; then nosetests3 tests/test_streamingandformatting.py ; fi
 - if [ $TASK = TAKEOVER ]; then nosetests3 tests/test_takeover.py ; fi
+after_success:
+- bash push/run.sh
 

bin/setup.py.in

@@ -30,7 +30,7 @@ setuptools.setup(
     author_email="peter@trailofbits.com",
     license="Apache-2.0",
     keywords="tdd testing symbolic execution",
-    install_requires=['claripy', 'angr', 'manticore'],
+    install_requires=['angr', 'manticore'],
     entry_points={
         'console_scripts': [
             'deepstate = deepstate.main_manticore:main',