add ajax infinite scrolling

  - use anchor to position link to a specific line
  - add string->date for each format
  - don't rely on browser timezone: use literal date
    in javascript instead
  - improve racket style (use define instead of let when possible)
  - 80 chars
  - add TODOs, ideas