[Makefile] Bugfix headers pre-compilation

The pre-compilation of header should be done using the same exact flags
used for the final build. Thus -fPIC is required for headers precompilation
as well.

Signed-off-by: Patrick Bellasi <derkling@gmail.com>
Bugfix integers print formatters

Switching among 32 and 64 bits targets, the integer formatters should
be adapter.

Signed-off-by: Patrick Bellasi <derkling@gmail.com>
[Core] Add code generation time profiling

This adds the computation of the time required to generate the program
code starting from the XML descriptor.

Signed-off-by: Patrick Bellasi <derkling@gmail.com>
[PCB] Switch to system defined headers

This make use of compilation path defined headers for SyncBarrier.

Signed-off-by: Patrick Bellasi <derkling@gmail.com>
[PCB] Make use of pre-specialized templates

Pre-specialized templates are required to speed-up compilation of a program.
This patch pre-specialized SyncBarrier and PCB templates off-line so that
they could be just linked at program build time.

Signed-off-by: Patrick Bellasi <derkling@gmail.com>