Reworked install script considerably; now it won't attempt a compile if binaries already exist.
install_sedumi.m: significant rework.
ddot.c: added some braces to suppress warnings.