Simply arguments to tesla-analyser.

Don't require clients to pass '-D TESLA_ANALYSIS': make the tool do its own preprocessor definitions.
Update README with newer build instructions.