BFS searcher.

Hi Cristian,

I have implemented BFS Searcher into KLEE. Just send it to you for code review. If you think it's OK, it would be a great honor for me to see it committed into KLEE. :-)