proof-general: support Emacs 24.x

Use upstream suggestion to support Emacs 24.x

Closes #21061.
add mime-info to Gnome folders