We add our own dummy options file.

This makes it so we don't need to depend on rebuilding pandoc features
in HEAD.