Since there is no install target in the makefile, and people can
prefer to use why-cpulimit of why2. We must add the bin directory of
why3 in our $Path when we use why3 in order to get this new
why-cpulimit. (Perhaps it can be backported to why2?)