New binary search added
Merge branch 'master' of github.com:tardis-sn/tardis into binsearch_rebase2
bug fix
Merge pull request #196 from mklauser/binsearch_rebase2

New binary search added