Rewrote all the sos programs in regionOfAttraction.m to use spotsosprog instead of mssprog. Now we can call mosek (among other improvements).