bottle: fix cellar output.
auctex: style nits
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