add prefix `tweety` to all tweety libs

[nimo23]

Actually, when adding the libs into my project with:

<dependency>
    <groupId>org.tweetyproject</groupId>
    <artifactId>tweety-full</artifactId>
    <version>..</version>
</dependency>

It cannot be seen at first glance. which imported libs belong to Tweety (e.g. rankings.jar, prob.jar).

Please add the prefix tweety to all imported libs (e.g. instead of rankings.jar it would be better to name it tweety-rankings.jar , etc.).

Thanks.