Push dashboard: filters, emoji picker and live device counts

Campaign filters moved from tabs to a dropdown, with an emoji picker and live device counts added to the push dashboard.