HAVE_XXX defines.

This fixes three longstanding problems:

- the API was hard to use because some headers had HAVE_XXX ifdefs, so
  that cient codes had to know how the lib was compiled to compile
  themselves

- we had to do make clean after each ./configure, which erased too
  much (e.g. most of contrib)

- make depend could include unwanted stuff since it redefined FLAGS

that the 2 steps are orthogonal
* added full-hexa subdivision algo

the stack

(To avoid having many empty models in the stack, we reuse the current
model if it's empty. Maybe we shouldn't try to be this clever: not
sure...)