proof-general: support Emacs 24.x

Use upstream suggestion to support Emacs 24.x

Closes #21061.
add mime-info to Gnome folders
z 1.8

Closes #21077.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
serialize proof-general installs
add ARGV.value
audit: ARGV.find is a warning, .value is allowed
audit: skip an audit for mongodb
auctex: use ARGV.value
mecab-ipadic: use ARGV.value
proof-general: use ARGV.value