نامگذاری کتابخانه‌ای در تهران به نام روح‌الله رجایی