Move INT_FMT, etc. declaration into global mpconfig.h .

This in particular makes it available for stm port.