Rotate the line by deg degrees
deg
Line rotate(double deg) { return Line(a.rotate(deg), b.rotate(deg)); }