Fix panel border color to allow the panel to have a gradient background

1. Make border-color come from a variable: $panel-border-color;
2. Make the default value the function that was previously used
directly (darken($panel-bg).
3. If you are using a function for your background you must specify a
$panel-border-color yourself.