Adding verification abstract structure

modeling/DIPLODOCUS/SmartCardProtocol.xml

src/main/java/verification/Property.java

src/main/java/verification/PropertyResultType.java

src/main/java/verification/PropertyType.java

src/main/java/verification/VerificationStorage.java