v1.1

Stable release that fixed existing bugs and works with latest angr changes.
This release also contains a helper script run_arbiter.py in order to directly use Arbiter from the command line.