`ModelingToolkit` interface for discrete-time systems

[pogudingleb]

Right now, the only way to describe a discrete-time system is via the @DDSmodel macro because the old DiscreteSystem interface has been removed from MTK. One the new interface will be finalised (here), we can add it back.