Double backjumping & Forward checking

Followup to https://github.com/CocoaPods/Molinillo/pull/12

I _believe_ this should be good to merge now.

\c @floere @kylef @alloy @indirect @who828