Ruský a francouzský legionář, jirkovský rodák plukovník Josef Seidl, vojenský velitel Pražského hradu v letech 1918 až 1935