Use printf instead of echo for portability (GH #3)

I still use echo elsewhere.  Changing those to printf is not a priority
because they don't print strings containing backslashes (in theory).
Abort if functions.sh cannot be sourced

Because 'bash ./check-health' (without the .sh suffix) surprised me by
launching GNU info.