Add a section on external structs in the docs

[mohammadfawaz]

The new upcoming version of Leo support external struct syntax such as external_program.aleo/Foo. This works as a type and also in initialization expressions: external_program.aleo/Foo { .. }