Added entry to docs Makefile and Sphinx config to build PDF usinx XeTeX

We have a few unicode chars in the docs now. Plus this should be a good
change for future non-English builds of the docs.

Anyone have a better font suggestion than the DejaVu fonts?