gnome-mplayer 0.8.0 and gecko-mediaplayer 0.8.0

Both gnome-mplayer and gecko-mediaplayer 0.8.0 have been released. There are several great improvements to gnome-mplayer. The changes to gecko-mediaplayer were minor but it was released to keep version sync.

Enjoy