Added the js-date-format.js library to allow a bit of flexibility in the
way dates are displayed in the userlist.