Export diagram to PNG

The long-awaited feature of Diagram Export is finally here!