chore(travis): update bb_token
extract_proofs: add branch-and-prove algorithm