The SDoc type now passes around an abstract SDocContext rather than
just a PprStyle which required touching a few more files.  This should
also make it easier to integrate DynFlags passing, so that we can get
rid of global variables.