Revert "Add documentation"

This reverts commit 6aa377bbbab2597ad08d905789f38974b4f79769.
Revert "Revert "Add documentation""

This reverts commit bba0439a94dcba5e2f5e81e0b16485467a04b567.
Revert "Revert "Revert "Add documentation"""

This reverts commit cbd27c2034c4512c1216e3bfe9d7939b4d06bbbe.
Revert "Revert "Revert "Revert "Add documentation""""

This reverts commit 8db963a955ac51fe9043385ce6da88609cae5f92.
Revert "Revert "Revert "Revert "Revert "Add documentation"""""

This reverts commit 5985c16e6eca36eae7a5c87825dc11ac3a5b1d17.
Documentation

Information about how to run WALRUS, two papers with explanations and
examples and the GPL-3 licence text