ported old lecture examples
update to spotsosprog
Merge pull request #456 from RussTedrake/lecture

sdp/sos lyapunov examples from lecture