अनंतनाग में ग्रेनेड हमले में एक नागरिक की मौत, तीन पुलिसकर्मियों समेत नौ घायल