Added support for GAPDoc header options.

Closes #55.
Fixed a strange bug in gapdoc_latex_options

Apparently multiple calls of SetGapDocLaTeXOptions are not allowed.