also don't keep adjusted maps around if not necessary

(also some evaluateNF, leading to slightly less memory usage)

(really a lot of these data structures should be eagerly evaluated into
normal form, i suspect there's still a lot to be gained)

both these packages are hard to use, seem to be either unfinished or
abandoned, and also generally not very good.

Also for some reason they depend on `lens`. Removing them dramatically
shrunk the dependency closure!

(also, more lenses i guess)

a very simple setup that might be usable for divoc and similar small events

WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA??

(and who decided to write the least obvious combinator library to parse it?)

it's slightly less of a mess than it was before

it's an annoying blockchain company, but apparently that thing is the
only usable option to build stack things with nix without having to
redefine all the (outdated) haskell packages in nixpkgs?

(instead, `walint --version` will now just say "unknown")

it's not very sensible, but at least it exists

(for now, just a list of all maps and their current status)

(this is mostly a rewrite / translation of the django templates built
into rc3's hub)

Note: the server will not check submissions for duplicates!
(nor does it do any kind of rate-limiting)

adds a very basic http server that can be sent links to repositories &
will download & lint them, then answer the request with the lints.

Should probably do this in a non-blocking way …

as annoying as yaml is, cabal's package format is somehow worse, apparently

lol

Pipeline caching

See merge request !9

don't add maps to the result if their lint result looks the same as that
of another list, just say it happened several times instead (this leads
to a rather confusing Eq instance for MapResult which implements a very
simple surface-level equality — perhaps change that later)

(thanks to jonathan for showing me that this exists)

(thanks to jonathan for showing me that this exists)

Update CheckMap.hs to make missing back link to lobby an ERROR

See merge request !7