Add new options and test cases

Merge pull request #11 from hxuhack/dev-master

source directory decoupled

Resolve BOMB_ENDING conflicts with KLEE replay tool's return code

Merge pull request #12 from hxuhack/dev-master

When KLEE replay tool encounters an error, its return value conflicts with BOMB_ENDING

Fixed some bugs and add argparser

v1.1

Update README.md

Finally here

v1.0

finish

Fix subprocesses killing

Fix bugs on subprocesses killing

Fix bugs on subprocesses killing

Fixed some test cases

v0.9.4

Fix some test cases

Almost there

Merge pull request #4 from hxuhack/dev-master

fix triton

v0.9

Fix config