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