Thanks a lot for all your suggestions. After nearly two weeks I have to say that I prefer Docky and Plank over Cairo-Dock. The latter is much less intuitive to use with lots of unnecessary options and a cluttered settings interface. Plank is clearly the most stable option for Ubuntu MATE.