Function sanitizeBorderProperty

remove superfluous space characters from a border property

string sanitizeBorderProperty(
  string s
);