Log Message:
Update devel/py-manticore to version 0.1.7

From the release notes:

This release brings EVM, performance, Linux emulation, and API improvements,
along with numerous bug fixes. Thanks again to our external contributors!

Added:

 * Documentation on symbolic input
 * "force" keyword argument in cpu.write_bytes/read_bytes etc.
 * Linux syscalls: getrandom(), openat()

Fixed

 * Improved ARMv7 Thumb support
 * Numerous EVM bug fixes and improvements (transaction generation, SHA3
   handling, instruction tracing, int overflow detection)
 * Improved x86/64 emulation performance