Add support for disabling generation of executables.

This is the reworked version of my previous pull request.  It features the previously discussed check for the presence of the `NO_EXECUTABLES` (environment) variables that would allow disabling generation of ELF binaries and would not be specific to the Mirage/kFreeBSD cross-compiler.