rename/reconfigure gui_dir in pdgui.js
gui_dir is a misnomer, and can currently point to different locations depending on OS
What we really want are two separate directories: "extra" -- pointing to the directory that contains all the external libraries "doc" -- pointing to the documentation directory