paper: split introduction into 2 sections

[michaelsevilla]

The introduction is 3 pages long! I forgot why we merged it before -- but I think section 2 should be explaining the problem, which is that cls is super popular and people want to use it.