Add function to extract variables from LMIs
Fix Travis-CI