Configure sphinx korean as japanese by default.

Author: JulienPalard

build_docs.py

@@ -57,6 +57,9 @@
     'ja': ['-D latex_engine=platex',
            '-D latex_elements.inputenc=',
            '-D latex_elements.fontenc='],
+    'ko': ['-D latex_engine=platex',
+           '-D latex_elements.inputenc=',
+           '-D latex_elements.fontenc='],
     'fr': ['-D latex_engine=xelatex',
            '-D latex_elements.inputenc=',
            '-D latex_elements.fontenc='],