מי כיהן כרמטכ"ל צה"ל בזמן מלחמת העצמאות?