updating giflib to 5.0.4, .so jump from 4 to 6, fixes build errors in xplanet & libgdiplus, xplanet added to the repo for kstars, libgdiplus updated to 2.10.9, openjdk updated to 7u40_b31, fontforge, imlib2 and mplayer rebuild, some needed patches for new giflib