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.
Merge branch 'master' into pretransfo