Added some important information to the README file.
Dead Code entfernt, @hornet-Dekorator eingebaut.
turing.py und fizzbuzz.py sind neu.
Beispiel für symbolische Differentation in Hornet.

Ein Standardproblem der Logik-Programmierung, das zeigt, wie man Hornet verwenden kann.
Merge branch 'master' of https://github.com/pillmuncher/hornet

Git will nicht pushen, deshalb.