Convert the decimal separator of numbers

It use two option, one declaring the what separator is used in csv, the
other in ledger. If both or none are set, no conversion is
needed. Otherwise a conversion is needed.