Added extra configuration options to the dock and the panel

[AKArien]

• Dock and panel :
  • Changed « Autohide duration » to « Animation duration »
  • Added options to control the delay before doing the showing/hiding animations
  • Added options to place them on the left or right edge of the screen
    • This also includes an « orientation », that allows to override how certain elements might want to change depending on the position. For the dock, this can show the icons with their « base » oriented to an edge of the screen. For the panel, most widgets now have a layout optimised for a vertical bar.
      • this is not the case for window-list, command-output and network widgets
• Dock :
  • Added dock width option
  • Added maximum entries per line. When this number is exceeded, a new line is created for the next icons.
• Panel :
  • Renamed « Widgets left » and « Widgets right » to left/top and right/bottom to go with new option to have panel on the sides
  • Added minimal width option
  • Added option to let the panel not span the full edge
    • Option to force the panel to be centered by the middle box instead of the total width. This will lead to more spaced out elements in the side that takes less space

Breaking stuff :

• out_box for panel is supressed, so no more style using it.
• dock/dock_height is repcaled by dock/minimal_height

Adresses #259

[eaglgenes101]

I'm interested in some of the features in this PR, is this suitable for trying out at this moment?

[AKArien]

@eaglgenes101 hi, thanks for your interest !
While some of the code is on the "never let this see the light of day" list, i'm pretty sure most of the features should behave correctly for the user. Of course, please report back if you have any issues or improvements !

Exception is the "orientation" (pivoting) feature : options for rotated icons in the dock don't look and feel great, because the icons are not perfect squares and the widgets are still laid out as per their original dimensions, leading to a bit of overlap. I also meant to let panel widgets be oriented similarly, but it's even more of a problem there.
I'm thinking of just giving up on this pivoting ordeal, as it's probably not such great eye candy anyway.

[eaglgenes101]

In the end, I decided that this functionality isn't exactly what I wanted. That said, having icons on the side dock works well, and I don't recall any bugs I ran into.

[AKArien]

Probably not perfect as is, but i’m hoping it won’t be a waste of your time to review :)