Add graph compression documentation

Lists and explains the different steps in the compression process (see #1878 (closed)).

---

Migrated from D1687 (view on Phabricator)