Fix bug #543 (finding senna executable file)

Fixing bug #543, looking for binary executable file from environment variable "SENNA"