Generalize flatten tuples and remove some bugs
Refactor flattening of arrays and records
Group all translations in a single function
Reorganize files
More refactoring of array and record removal
Code refactoring
Merge branch 'master' into function

Conflicts:
	jkind-common/src/jkind/lustre/visitors/ExprMapVisitor.java
	jkind/src/jkind/JKind.java
	jkind/src/jkind/JLustre2Excel.java
	jkind/src/jkind/JLustre2Kind.java
	jkind/src/jkind/translation/FlattenCompoundTypes.java
	jkind/src/jkind/translation/tuples/FlattenTupleAssignments.java