Add option to directly edit config files

[derenv]

This could be done with a terminal editor eg nano or vim (config option?).

[derenv]

This should be available for multiple config files, eg grub.cfg but also keylocations.cfg