An (in-progress) port of SeDuMi 1.3 to Octave