Compress Twitter core-vec files

Compressing twitter data core-vec files with gzip. The Orly server already understands gzipped files as long as they end in .gz