add MPS file writer
add 'Constraints' to Category: in toysolver.cabal