紫丁香的名字怎么来