Changes

Cookie/History/Hotlist: locale-aware time formatting
(as)ctime are defined as always formatting times using English day/month
names. As these views are for the user's benefit, use the selected
locale to format the information, instead.
Use of (as)ctime on RISC OS with UnixLib is fragile, anyway, as that
implementation always produces a locale-aware serialization
(which is not what the spec defines). This caused assertions to fire in
the previous implementation (which expected ctime to be locale-unaware).
Fixes #2869.