Commit 8f96cf9aa55609b3408584d8daa032272203ea2c
2018-03-22T09:13:18
README.md: add table of contents By now, our README has grown quite long, and at multiple occassions people were unable to find the correct spot in our documentation. Add a table of contents to at least present an overview over all topics that are being covered by our README.