Use CSV to fetch Trac tickets

Closes #36.

Signed-off-by: Anders Kaseorg <andersk@mit.edu>