Define format of NFA program files #2
Description
We should add a specification of a format for NFA program files. Either in README.md, or in a separate file. The original definition in not complete. It does not define inclusion and all new operations. Furthermore, we expanded the options of loading automata.