Quiver: A Modern Commutative Diagram Editor