initial scratchwork

working SOS stuff

docs and stuff for SOS

refactor solve code

refactor SOS try catch block in solver.jl

throw error if SOS fallback is called on continuous variable

typo

test GLPK fallback

docs and stuff for SOS

test GLPK fallback
merge resolution