Mentioned the assumed tighter lower bound for DPA.
Fixed a TODO in the log3 upper bound.

Also fixed a sentence in the same proof which did not make a whole lot of
sense.
Revisited definitions.
Replaced failed gnuplot thing with pgfplots, which actually works.
Incorporated the overview of graph coloring.
Added a transition sentence.
Inserted the Slovak thesis statement.
Added missing citations.
A pitiful stub of an eventual max clique summary.
Doubled the number of the conclusion file to make room for another chapter.
Squished another TODO by finishing a figure.
Forced another tedious figure into existence for future use.