Avoid harcoding path to KAOSFormalTools 

The bundle now depends on a KAOS_FORMAL_TOOLS environment variable.
Such variables can be set in TextMate itself under
TextMate > Preferences > Advanced > Shell Variables