add encoding to JTidy conversion config