Add deprecation warnings for outdated API members (#1500)

README.md

@@ -76,7 +76,7 @@ value = m.make_symbolic_value()
 
 contract_account.incremented(value)
 
-for state in m.running_states:
+for state in m.ready_states:
     print("can value be 1? {}".format(state.can_be_true(value == 1)))
     print("can value be 200? {}".format(state.can_be_true(value == 200)))
 ```
@@ -98,7 +98,7 @@ def hook(state):
   print('eax', cpu.EAX)
   print(cpu.read_int(cpu.ESP))
 
-  m.terminate()  # tell Manticore to stop
+  m.kill()  # tell Manticore to stop
 
 m.run()
 ```

manticore/core/manticore.py

@@ -565,6 +565,13 @@ def ready_states(self):
             # Re-save the state in case the user changed its data
             self._save(state, state_id=state_id)
 
+    @property
+    def running_states(self):
+        logger.warning(
+            "manticore.running_states is deprecated! (You probably want manticore.ready_states)"
+        )
+        return self.ready_states
+
     @property
     @sync
     def terminated_states(self):
@@ -808,6 +815,10 @@ def kill(self):
         self._killed.value = True
         self._lock.notify_all()
 
+    def terminate(self):
+        logger.warning("manticore.terminate is deprecated (Use manticore.kill)")
+        self.kill()
+
     @sync
     def is_running(self):
         """ True if workers are exploring BUSY states or waiting for READY states """