Convert a file of an encoding to another.

1 file.convert

<file.convert
    encoding-src='encoding-src'
    encoding-dst='encoding-dst'
>
    <file src /> +
    <file dst /> *
</file.convert>