remove the binary distribution in the branch
remove the cif2pnml transformation from the dot-model 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'