OpenDingux: Add a Spanish manual contributed by hi-ban.

The English manual is also modified to remove an ambiguity related to the use of '.' as the decimal point.