Use src/distrooptions.h as another source

[mkj]

This makes it easier for distributions to patch the source directory, rather than needing to create localoptions.h in the build directory.

Makefile's OPTION_HEADERS is removed, the wildcard *.h covers it