Implement animated workspace switching and some fixes to Budgie