Feature : Add border to dock option in settings

[felidobrinin]

Be able to add border with pixel count, type and color. At the moment the only way of doing this is through the stylesheet.css. This makes it hard for non technical people to add a simple border.