enable tests for SOS constraints with Cbc

document which solvers support SOS
closes #195