Don't assume we have 'dot' available in demos.

Drop TESLA PDFs as default build targets for demos: we often build on boxes that don't have dot, or if they do have it, it doesn't produce correct output.
Drop a Makefile GNUism.
Drop another Make GNUism.
Set LD_LIBRARY_PATH if we have one.