Data Compression - First Paper

I'm adding a survey made by Debra A. Lelewer and Daniel S. Hirschberg
covering the main D.C. algorithms from the 40s to 1986; from
Shannon-Fano to Bentley's at al. BSTW.
Merge pull request #112 from JoaoGFarias/master

Data Compression - First Paper
Update README.md

Adding link @polyfractal's search site.
Update README.md

Add link to polyfractal's GitHub profile.
Update README.md

Clarity.
Update README.md

punc.
Add new category, program verification.

The inaugural paper in this category describes using Coq to create a
formalised subset of the x86 architecture.
Merge pull request #113 from kisom/master

Add new category, program verification.
Adding info theory section.
Merge pull request #114 from newsomc/info-theory

Adding info theory section and starter paper