v1.0.1

• updated the data files about the classification of isomorphism types for dimension up to 10000; the current status corresponds to the statements in the 2nd part of the underlying paper
• added some GAP and Julia code for the SubquoDerDim and Reduction criteria
• extended the documentation and tests accordingly