Státní smutek bude tři dny, vláda ocení Havla zákonem