DOC: Added labels to library(clpfd) section headers (used to generate
persistent URLs for the sections).
ADDED: library(sandbox): multifile declaration safe_global_variable/1.
ADDED: library(sandbox): declare library(clpfd) to be safe.