options: add option to disable using right Alt key as Alt Gr

See issue #388 for more details.