Hadrian: fix ghcDebugged and document it
We were not actually making use of that field as expected, this patches fixes that and also adds a little bit of documentation about that field in hadrian/doc/user-settings.md
.
We were not actually making use of that field as expected, this patches fixes that and also adds a little bit of documentation about that field in hadrian/doc/user-settings.md
.