work with multiple versions of angr

Remove nose imports (#92)

Unsat states must be treated as potential successors in Tracer

Update driller_main.py (#84)

nuke travis

enable tracing options for states, which were (accidentally?) disabled in c20d4410

fixed bug introduced by 01c8425187c9fd30fc3a30e0e6c1ab9ee0b33a3a

Fix python3 str vs bytes issue

Use binary reading mode for python3

Be careful about removing state options...

Copy states

Remove lazy solves from traced states during explorations

Fix for megatracer. not everythign works...

Remove usage of immutable

Update paper link; closes #65