A port of SPGL1 to Python