define US, CS, SS in ToySolver.SAT.MUS.Types and improve documentation a little
rename optMCSCandidates to optKnownCSes in ToySolver.SAT.MUS.*
add getVarFixed and getLitFixed in ToySolver.SAT