Add explicit deepstate-manticore executor script

This matches the command-line API described in the paper, and lets users
invoke the Manticore backend without relying on the fact that it is the
default (which might change).

bin/setup.py.in

@@ -34,6 +34,7 @@ setuptools.setup(
     entry_points={
         'console_scripts': [
             'deepstate = deepstate.main_manticore:main',
-            'deepstate-angr = deepstate.main_angr:main'
+            'deepstate-angr = deepstate.main_angr:main',
+            'deepstate-manticore = deepstate.main_manticore:main',
         ]
     })