mkvtoolnix: fix to find boost lib

(cherry picked from commit 752554cdcb9ed712813921a12994df99920bab62)
dvdauthor: fix building against glibc 2.20

and 2 other patches from redhat

(cherry picked from commit 9a7d425edddfc637b06d385d87e3311a902c3655)
ghc-head: upgrade to 2014-12-10

(cherry picked from commit 04f73ed2e4b1ca0e03b3a16619baa934fbb506c5)