Merge pull request msuiche#45 from vgorin/master

update readme: add info about boost dependency

Merge pull request msuiche#45 from vgorin/master

update readme: add info about boost dependency

Merge pull request msuiche#31 from b-mueller/master

Fix a couple of segfaults

Merge pull request msuiche#33 from montekki/read-code-from-file

Read code from file

Merge pull request msuiche#33 from montekki/read-code-from-file

Read code from file

Merge pull request msuiche#36 from montekki/add-support-for-cmake

Adds a CMakeLists.txt to build porosity

Merge pull request msuiche#37 from seed/symb-edge-cfg

Add symbol name to edges of CFG when available.

- Fix a regression.

Merge pull request msuiche#23 from slavikus/xcode-support

Xcode support

Merge pull request msuiche#20 from kthomas/scan-rpc

Scan for contracts using JSON-RPC