use profile.hpp in Parser-Combinators
Merge branch 'master' of https://github.com/keean/SAT-Solver