Provide more information about lookup failures.

When we can't find an assertion with a certain name, explain that we can't and list the possible valid names on stderr.

This should help people understand the absolute-filename problem until we can (hopefully) upstream the ClangTool fix.
Provide 'make tesla' in BSD makefile.