Replace the character encoding menu with a textbox

It's no longer possible to query charsets from rdf:charset-menu
Merge branch 'remove_encoding_menulist' into development
bump to 3.1.17beta1
Fix minor syntax error
Bump to 3.1.17
Merge branch 'release-3.1.17'