Merge pull request #5020 from svenkeidel/gpodder

gpodder: update from 3.8.0 to 3.8.3
crashplan: 3.6.3 -> 3.6.4
Bochs: upgrade to 2.6.7

Now, with SDL2 upgrade!
Merge pull request #5026 from robberer/pkgs/hdf5

hdf5: move to a more stable URL
Stella: update to 4.1.1
Stella: update to 4.2
Tilda: update to 1.2.2
Youtube-DL: update to 2014.11.16
Merge pull request #5030 from AndersonTorres/tilda

Tilda: update to 1.2.2
Merge pull request #5029 from sztupi/crashplan

crashplan: 3.6.3 -> 3.6.4
Update sha256 for mutt sidebar patch

Seems like file was changed.
gforth: Install gforth.el & add meta-data.
Merge pull request #5031 from AndersonTorres/youtubeDL

Youtube-DL: update to 2014.11.16
vmTools: Fix permissions on /tmp and /dev/*
saga: update from 2.1.2 to 2.1.4 and re-enable build on x86_64-linux
Merge pull request #5032 from Gonzih/patch-1

Update sha256 for mutt sidebar patch
Merge pull request #5027 from AndersonTorres/bochs

Bochs: upgrade to 2.6.7
Merge pull request #5028 from AndersonTorres/stella

Stella: updade to 4.2
Merge pull request #5024 from dysinger/purescript-0.6.1

purescript-0.6.1 release
Symbola: update hash for PDF file