refactor SOS printing
explicit check for integer variables in SOS constraints; update SOS docs
Merge branch 'master' of https://github.com/JuliaOpt/JuMP.jl