ظرات امام خميني، رهبر معظم انقلاب و چند تن از مراجع معظم تقليد درباره نحوه عزاداري در ماه محرم