rename --max-sat option of pbconvert and lpconvert into --maxsat

(same as toysat and toysolver)
add Converter.MaxSAT2NLPB module for nonlinear formulation of Max-SAT