Generalize rotate()

1. Rename the old rotate() to rotate_about_origin().
2. Add a general rotate() that can rotate about any point.
3. Add box_by_rotation.html demo.