Update ProofGeneral to version 4.2
Add dunst, a lightweight notification daemon.

Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
haskell-HSH: fix build with ghc 7.4.x
add dutch tax application for 2012
linux-3.8: upgrade to 3.8.4
linux-3.4: upgrade to 3.4.37
linux-3.2: upgrade to 3.2.41
linux-3.0: upgrade to 3.0.70
bbswitch: upgrade to 0.6
gtypist: fix patch hash
htmlize: upgrade to 1.47
haskell-bson: disable tests

they need an older version of test-framework
using jailbreak didn't work in this case so for now, disabling tests
is the easiest solution until upstream upgrades its test-framework
emacs-w3m: upgrade to current cvs
bacula: add postgresql support, add myself as maintainer and set meta.platforms
git: update to version 1.8.2
Adding teamviewer client for linux (www.teamviewer.com)

In fact it uses wine.
teamviewer: fixing broken wine reference
teamviewer: adding a work-in-progress lowprio version 8.

It requires root running a daemon, just to use the client. Suspicious.
latex2html: update meta information
latex2html: update to version 2008