Minipref: A tool for preferences in SAT