A pilot test for uploading CoreNLP to GitHub -- this will disappear soon!