QCQP-Solver A general QCQP solver using a special homotopic continuation formulation with theoretical guarantees for previously unsolvable problem classes