New backtracking resolver in pip-tools

I’ve finally finished adding support for the new backtracking pip’s resolver to pip-tools (#1539).