natools.gpr: add a profiling mode to the build