Add `-haddock` option under ci condition to fix #16415
In order to use the
:doc command in ghci, it is necessary
to compile for core libraries with
-haddock option is essential for release building.
-haddockoption may affect compile time and binary size.
But hadrian has already set
-haddockas the default.
- This patch affects the make-based building.
This patch has been split from !532.