Fixes for concurrency issues

These commits fix the concurrency issues languagetool has. Some classes were split into configurations (thread-safe) and actual states (not thread-safe), like Element and ElementMatcher or UnifierConfiguration and Unifier. I tried to keep the API changes as small as possible.

In future pull requests I try to improve both the performance and the current API (will most likely break).