"Decentralized" -> "distributed"

Thanks to "niao" on Freenode for pointing out to me what the difference
between decentralized and distributed is. You would think that after
thinking about this for almost a year the author of a program would know
the difference, but nooo.
Correct 'ms' to 'µs' in comment
Tiny server refactorings
Strictify Int/Word/Double fields in configs
Add seqM
Tiny refactorings in Databases.hs
Add launch utility for easier testing
Rename deprecated 'extensions' field
Tidy up imports
Add utility to list "TODO"s in the source
Fix edge request function, document it

The previous function would send out one request even if there was no
deficit. The new implementation uses a simple rounded square root.