Create a Proper table of contents

[JacquesCarette]

We are using Everything.agda as our "table of contents". As was already mentioned in #130 this is rather brutal. We should add some documentation pieces to each file, as stdlib does, and extract that as a nice entry point.