Added TransSys.input type, for representing the source data which transition systems are created from. Added one variant, LustreInput, representing input from lustre source code.

Added field input to TransSys.t called input, with type TransSys.input. This will be used
to help transform the model into a form that is understandable to the user.