GROOVY-5816 Add an "encoding" option for Groovydoc tool and Ant task

The option has actually been called "fileEncoding" as there already exists a "charset" option that refers to the HTML content type charset.