Use libipstack_inttypes.h instead of inttypes.h directly. For example for avr we have to define own typdefs because the avr inttypes.h header uses gcc attributes and the aspect compiler cannot match those types.
Remove another ciao quirk. We rely on c++ constructor execution again
Documentation (some files describe not yet committed functions) [skip ci]