Initial draft of DMI formalisazion

for extended interface description of DMI output and input
Merge pull request #185 from openETCS/DMI-formalisation-draft

Initial draft of DMI formalisazion