* Refactored will_execute_pc hooks
* Fixed typos
* Figured out why the simple_parse test was failing
* Figured out why the simple_parse test was failing
* Figured out why the simple_parse test was failing
* Figured out why the simple_parse test was failing
Cleanup
* Cleanup
* removed TODO from executor.py
* refactored line in forking handling in executor.py
* removed extraneous space in manticore.py
* removed --exe flag from nosetests command
* Remove ManticoreControl object
* Some changes were brought in from dev-symbolicate-api
* Add Manticore.terminate()
* Add State.abandon()
* Update sample scripts
* Remove ctl from README
* Fix tests
* Bring in changes from dev-symbolicate-api
* Lower-case wildcard
* string -> cstring
* abandon() docstring
* Rename "name" to "label"
* Remove obsolete comment
* Make NUL a possible value for the last byte of a cstring
* Fix AbandonState and add example binary&script
* name -> label in tests, manticore.py
* Ignore .DS_Store
* Update symbolicate_buffer docstring
