Add missing 'demo' script
Incorporate TESLA demos into the test suite.

These demos are useful integration tests; run them every time we run the test suite.
Trivial: update .gitignore to match new demo name.
This demo is unlikely to compile on Linux.