fix a bug of Converter.PB2WBO
fix a bug of PBFile.showWBO that output invalid WBO file when there is no top cost
convert SAT and MaxSAT into LP indirectly through PBS and WBO respectively
add pbconvert command for converting PB-related formats