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
geoserver 2.3.3

Closes #21081.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
gradle: add 1.7-rc1 as --devel

Added gradle 1.7-rc-1 install under devel switch

Closes #21086.

Signed-off-by: Misty De Meo <mistydemeo@gmail.com>
libgpg-error 1.12

Closes #21083.

Signed-off-by: Misty De Meo <mistydemeo@gmail.com>
libassuan 2.1.1

Closes #21082.

Signed-off-by: Misty De Meo <mistydemeo@gmail.com>
webp 0.3.1, add webp-mux flags

Closes #21080.

Signed-off-by: Misty De Meo <mistydemeo@gmail.com>
knock 0.6

* Update formula for changes in build scripts
* Avoid installing the man page for a binary we don't include

Closes #21056.

Signed-off-by: Misty De Meo <mistydemeo@gmail.com>
doxygen: llvm requires option for --with-libclang

Fixes #21090.
Merge branch 'master' of http://github.com/mxcl/homebrew