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).
These changes here seem wrong, as the comment says that the symbols are only declared for backward compatibility. In other words, if they are unused  deal.ii then they need to keep their names. If they are used in deal.ii (ie if the comment is wrong) then we could change their names but need to keep the old symbols.

Assuming the comment is correct, we could of course just remove the symbols and make an incompatible change.