JSON-serialized project list

Fixes issue #207.