EiffelStudio Homebrew package.

I've been told to do a PR here although I'm not sure how this would work for end users to get eiffelstudio without fidling with the homebrew configuration.

Thanks,
Manu
That's what I was trying to say yesterday, we have a setup that does not require this but it won't be ready for a while. For the moment, this is the best thing I can provide. We have too many executables to write wrapper scripts for all.