JBIDE-15317 - LiveReload script injection corrupted html encoding

Using explicitely a charset when reading local files.
Default charset used is UTF-8
Adding a combo in the server configuration editor to let the user choose her charset or use the Charset.defaultValue() if none is specified.