Add fmtcheck, strcasecmp, strcasestr, asprintf, and vasprintf.

Tidy Makefile.
Switch minifile-cheri-helper to use libc_cheri.