Fix for issue #642 (#643)
Fix for issue #642 (#643)

* version argument in manticore

* Fix 591 - Exception Handler

* Issue 597 - Remove the unused policy argument

* fix issue 642

montyly/manticore,trailofbits/manticore,trailofbits/manticore,montyly/manticore,trailofbits/manticore