Implement read_stl (is now Shape.from_stl).