Hazan now runs, but is giving weird answers
Hazan now working on simplest example
Need to switch branches for the moment
Skeleton of SDP solver added