-added bitpath.
Merge branch 'bipath' of github.com:rlyspn/klee into bipath
Merge branch 'bipath' of github.com:rlyspn/klee into bipath
Updates to bipath-run.pl script.

Modify filterargs test case to not use argc.