Tweaked headings and optional packages
More tweaks to optional package handling
Tweaked name of core documentation
Skeleton .dtx files for the rest of the packages
Tripos commands, and tweaking the optional packages (again!)
Added symbol sets and extra functions