قاتل «امیرمحمد خالقی»، اعدام می‌شود