[Makefile] better dependencies for dev guide checks

- making the dev guide (and especially its checks over the tutorial code)
should be done against up-to-date frama-c binaries.

- `Boot` module is referenced in the index of devman, it ought to be
present in the API documentation