This includes the backlink to the lobby (auto-generated only for now)
and a "help!"-button for sending mails. Also general info regarding
which commit was linted / published.

i kept being confused by things happening that really shouldn't 

(this also adds general cli arguments, but the main point is that
downloading monstrously large repositories is a silly idea when i'm on a
train with surprisingly bad wifi)

(though apparently there's no way to set the -LC option? would look much
nicer with that …)

(i.e. we want to still have a valid version of the map if new results
where introduced)

this removes:
 - the bbb properties
 - all explicit mentions of rc3
 - the weird script domain hacks (done via a substitution now)
 - some (few) of the weirder code choices

it also adds some more type level witchery to deal with configs, which
for some reason seems to be the hardest problem of this entire program …

also the server now does inter-assembly dependency checking!

(though this time it doesn't seem to do much, if anything)

bootstrap is horrible and should be replaced

whoops, forgot this earlier

turns out aeson really REALLY likes to keep huge scientific numbers
around, which is great if your data structures consist largely of arrays
of (small) integers!

todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.

this isn't comprehensive or anything, but at least acknowledges that
this repo now contains more than just the linter

the substitutions + templating seems reasonably powerfull, let's see how
far we get without custom-made specific things.

not going to be my faviourite templating language, but it seems to work
pretty well for this.

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)