GALINI: an extensible solver for mixed-integer quadratically-constrained problems