Add an XML skeleton for Nagy English translation of Proclus.