animations support in the pager.

when the mouse cursor goes over a desktop the desktop number and hover effect appears with a fade in and fades out on mouse leave.

it works both if a svg theme is loaded or not it uses the new optional second parameter for custom animations