increment version number: 0.0.3 -> 0.0.4
rename Converter.CNF2LP module into more appropriate name Converter.SAT2LP
add new converters: WBO<->PBO, MaxSAT->WBO, SAT->PBS