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
I'm not sure what you mean.