remove the binary distribution in the branch
remove the cif2pnml transformation from the dot-model branch
remove the cif2pnml transformation from the master branch
rename dot into lts
initial version of LTS with support for different writers. Now requires Java 1.8 (code for 1.7 still present).
comment out imports needed only for the Java 1.7 version
new architecture for dumping models (use of Writers), new writer for LTS (AUT).

Remove the resource checking (suffix wrt legal one for the model) in class Model. Will be supported by Readers and Writers.
Merge branch 'lts-model'
add the new jar file
modification of the cleanUp scheme, preparation of the readers architecture, removal of attributes in LTS (use of label for transition instead), removal of the loaded mechanism in models
add methods to read from file and string in Model, correct the state mapping construction for the AutLtsWriter, removal of transition ids
update wrt the last commit in the main branch that Fixes #7 (forgotten)
add licence information in source files
Fixes #9 jar file rebuilt and updated
refactoring wrt the "questionnable variable name" inspection
corrected code wrt some PMD inspections
corrected code wrt some IntelliJ warnings
add base of STG class, add call to super.cleanUp() in cleanUp override methods
merge of the master branch modifications
merge of the master branch modifications