Oditurat Militer, Oditurat Militer Tinggi, Oditurat Jenderal Angkatan Bersenjata Republik Indonesia, dan Oditurat Militer Pertempuran yang selanjutnya disebut Oditurat