Anti-aliased border corners/rounding

[donotturnoff]

Then joins between different sides of the border are currently un-antialiased. This should be allowed as an option (server-wide?), so that other places can benefit too, such as rectangle corner rounding, ellipses, lines, Bezier curves, etc