Some housekeeping in DPA constant c section.
Reverted 21f398, which should have happened about a year ago.
Explained q-ary entropy in section 2.1.
Reduced the excessive linespread.
Unified the capitalization of chapter and *section headings.
Added an unfinished section on adversaries.
Added a note on advice vs. randomization, removed nondeterminism.
Moved a figure to a better location.
Added a proof for the lower bound on DPA optimality.
Added missing labels.
Removed extra paragraphs.
Some rewording and housekeeping around lower DPA bound.
Inserted a TODO note.
Moved labels on top of figures, factored out L in lower bound.
Added a discussion of lower bound and conjecture of the tighter one.
Dropped better lower bound conjecture because the proof is full of holes.
Figure labels belong below captions after all.
Worked in feedback from Mišof.