We don't use __tesla_repeat() any more.
Add __tesla_{optional,any} to regular compilation.

When we're not running the TESLA analyser (indicated by __TESLA_ANALYSER__ not being defined), we need to provide a definition for __tesla_optional() and __tesla_any() as well.
Merge branch 'master' of github.com:CTSRD-TESLA/TESLA