Add trailing semicolons to OPB constraints

[marcvinyals]

According to https://www.cril.univ-artois.fr/PB12/format.pdf, OPB constraints should end in a semicolon. This is not a problem with many solvers, but other solvers such as SCIP are more picky and will not run unless a semicolon is present.