GenerateEverythingIlc.hs: extract whole description
GenerateEverythingIlc.hs: extract whole description

GenerateEverythingIlc will now insert in Everything.agda the whole
description, not just the first paragraph.

Old-commit-hash: 9b43015f0e974efe1a03db0801ec8f6fa8b0bd04

inc-lc/ilc-agda