Getting IronRuby to Install

The ironruby_repo_url and ironruby_1.1.3_url specified in config/db are out of date, making it impossible to install IronRuby using RVM.

The ironruby repository has been relocated and has apparently been moved to a common IronLanguages repositories. I haven't looked into this any further since the IronLanguage repository contains both IronRuby and IronPython, so it is not clear how much work it would take to get it to work.

The URL is no longer valid since it looks like codeplex now requires a POST request to download IronRuby, there is no way (that I could find) to download it with a GET request from Codeplex. The URL currently listed there issues a redirect to another page, which after a countdown, initiates the download. RVM is downloading the HTML page instead IronRuby. I was able to install IronRuby after changing the relevant URL to http://vikhyat.net/IronRuby.zip, which is a copy of the same file.

After installing IronRuby, the `ir` executable wasn't working, to make it work I had to change the contents of `.rvm/rubies/ironruby-1.13/bin/ir` to add a missing ".exe". After making this change I am able to run `ir` and execute some basic code on it. I can't get the irb, rdoc or ri executables to work, but it's a start.

I'm not sure what the best way to fix this issue is, should I submit a pull request with ironruby_1.1.3_url changed to the copy hosted on my server or is there some other alternative that would be preferred?