Amanat Restu, Presiden Repiblik Indonesia: Panglima Tertinggi akngkatan Perangh RI