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.
Adobe-Air-SDK: SHA1 fix. Revised SDK, still v. 3.7

Closes #21094.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
minizinc: fix url

Closes #21096.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
minizinc: don't link 'private' into bin
fix comment typo
snownews 1.5.12

Closes #21026.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
chromedriver 2.0

Closes #20888.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
chromedriver 2.1
imagemagick: remove stale configure flag

Closes #21088.
doxygen: style