Panel rework

This is my project to gradually make Cinnamon's panels more flexible. Instead of limiting the set of possible panel layouts to a few confusingly-named options, it opens up for user-defined layouts.

The implementation is mainly backward-compatible with the current settings keys, except for the key controlling the panel layout, which had to be changed to enable switching back and forth between old and new versions.

Current status: Ready to be merged.