Merge branch 'develop' (mostly config file handling)
Add simple explanation draft
Merge branch 'develop'
Abbreviation list
Merge branch 'develop'
Refactor node pool a bit
Doc
Enable STDERR line buffering
Make DSN DB removal exception-safe
Refactorings
-W/HLint, enable -W in fast builds
Add non-linking build type 'nolink'
Code style, indentation