Add `OPTIONS_HADDOCK` snippet
Merge pull request #325 from jdnavarro/master

Add `OPTIONS_HADDOCK` snippet