quiver: a new commutative diagram editor