Use proper URI parsing library in server; previous code didn't handle ? and #.
Use opinionated directory names instead of making them configurable.
Determine Agda module names by parsing file instead of deriving it from the filepath. This makes it possible to set the project root in a different directory (such as through .agda-lib).
Don't leave Agda-processed Markdown files in the Agda documentation directory.