• update to asprin 3.1
• add section about clingo-dl 1.0
• add information about installation with anaconda

We made sure that the sections about the core language are up to date but there are still unfinished sections.

• upgrade all code to clingo series 5
• describes asprin series 3