آیت الله جوادی آملی؛ عالمی انقلابی و مجاهد