Misc. stuff from the Raspberry Pi demo

[Tomeu Vizoso]

Hello,

have rebased a few patches that remained to be upstreamed from our work
on the Raspberry Pi renderer and demos. This follows an initial submission
from Pekka[0].

Weston-desktop-shell gets new features. The major new feature is
"exposay", a window overview mode with animated transitions. Another new
feature is optional keyboard-focus animation, which dims unfocused
surfaces. 

Then there are various smaller fixes and enhancements.

There's a branch here with these changes:
http://cgit.collabora.com/git/user/tomeu/weston.git/log/?h=tomeu/raspberrypi-dispmanx

[0] http://lists.freedesktop.org/archives/wayland-devel/2013-May/009385.html

Thanks,

Tomeu