Add support for Notes, closing [ce23bb4086]. The old dates.rkt is now dust.rkt: helper functions for use everywhere. Functions returning HTML strings have html$ prefix.