[devguide] ensures we compile tutorial examples with current Frama-C

Having relative directories in the PATH is rarely a good idea.
Moreover, if the PATH is set as part of the sub-make command, it does
not seem to always be given to the `$(shell ...)` command. It is thus more
robust to set it explicitely _before_ launching the sub-`$(MAKE)`