HtmlTemplate: set lang and xml:lang attributes of <html> element
fix a bug that does not reflect --force option when $KCODE is set
added  a new option --split-main-heading
fixed a bug that raise an error when the uri part of a [[]] tag unintentionally includes another tag at the end
Merge branch 'develop' into 2html