Somewhat simplify config.mk

• nproc exists on FreeBSD too
• REDOX_MAKE is generally make, so use that as default with per-OS override if necessary.
• HOST_TARGET can be fetched directly from rustc.

Builds on top of !1406 (merged)

merged

mentioned in commit e757a57f