BFS searcher.
Merge branch 'bfs' of https://github.com/antiAgainst/klee into antiAgainst-bfs