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

Log message:
Register missing dependency on math/z3

Bumps PKGREVISION.

Log message:
Import manticore version 0.1.6 as py27-manticore-0.1.6

Manticore is a symbolic execution tool for analysis of binaries and smart
contracts.

Manticore features Input Generation (automatically generates inputs that trigger
unique code paths), Crash Discovery (discovers inputs that crash programs via
memory safety violations), Execution Tracing (records an instruction-level trace
of execution for each generated input), and Programmatic Interface (exposes
programmatic access to its analysis engine via a Python API).

Manticore can analyze Linux ELF binaries (x86, x86_64 and ARMv7) and Ethereum
smart contracts (EVM bytecode).