We haven't used this script in a long time.
A front-end driver script for TESLA tools.

This simply passes arguments to the correct TESLA tool so that we don't need to encode "tesla-analyse", "tesla-instrument", etc. separately in makefiles.
Require less magic about revision string.
Use the new 'tesla' front end driver.