Why KI_SYSTEM_CLOCK and KL_SYSTEM_CLOCK are inside library/kernel/misc
when they would be better in library/time/clock
During convertion to void-safety, we made one .ecf per library, this allow us to work on subset of Gobo, and to see the various dependencies between components.
And since K*_SYSTEM_CLOCK are in the kernel, and relies on C_DATE, this forces gobo_kernel.ecf to use EiffelTime.
Apart from the fact it "includes" more classes than needed for the kernel, this adds an uneeded dependencies on Date.
Any comment on that?