homotopysolver needs an option to autohomogenize/projectivize

[ofloveandhate]

because sometimes (mostly?) the user wants to not have to manually think about projectivization, and get the benefit of infinity being a finite point. only rarely (all-real tracking for instance) does a user want to disable this functionality