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
Merge pull request #17 from blambeau/master

Avoid harcoding path to KAOSFormalTools