Replace HAVE_* by DEAL_II_HAVE_*

This replaces all of deal.II's internal configuration options and
definitions starting with HAVE_ by prefixed versions DEAL_II_HAVE_.

This won't go into the release (to little time to test thoroughfully).
While you're there, fix this as well: the name of the file isn't `Make.global_options` but `include/deal.II/base/config.h`.