#537 Add "default encoding" option in the "Mode Settings"

[sigzero]

There should be another option under "Mode Settings" to set the default encoding for individual file types.

[Alan Ezust]

I suggested it first! nyah nyah!
https://sourceforge.net/p/jedit/feature-requests/488/