unfiltered and filtered versions of icat database after 2013 world finals. Filtered was cut off 1 hour before end and has human analyst postings; unfiltered does not have human postings.
Merge branch 'master' of github.com:icpc-live/autoanalyst