configure language level via property
configure language level via property

- allows us to skip explicit plugin configuration
- property may be accessed by other tools/plugins as well

LearnLib/automatalib,misberner/automatalib,LearnLib/automatalib,misberner/automatalib,LearnLib/automatalib,LearnLib/automatalib