example/basic.html : add `<meta charset="utf-8">` to the header

this is necessary to ensure that dynamically loaded scripts (modes,
themes) have a charset of UTF-8; some themes such as CHAOS have
characters that need this encoding, and the script elements generated by
ace.js do not specify the charset so it is left up to the page