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
Is there a way to do the above just for one file?