-added Bipath class.
Merge branch 'bipath' of github.com:rlyspn/klee into bipath