Added support for GAPDoc header options.

Closes #55.