Change the meaning of ctime on windows

Plus additional niceties.

For #901.