DIPLODOCUS: Adding a sliceTime argument to CPUs

modeling/SmartCardProtocol.xml

src/tmltranslator/HwBus.java

src/tmltranslator/HwCPU.java

src/tmltranslator/TMLArchiTextSpecification.java

src/ui/GTMLModeling.java

src/ui/GTURTLEModeling.java

src/ui/tmldd/TMLArchiCPUNode.java

src/ui/window/JDialogCPUNode.java