OpenDingux, Spanish manual: Re-encode.

The file was formerly encoded using ISO-8859-15 and is now encoded using UTF-8.