Im pretty sure the IDE is C#....C++. And they HAVE it running on Linux internally already. The question is whether it's viable as a commercial product. They want to see 10's of thousands of customers before they'll consider it viable.
But it would be nice if they 'accidentally' leaked a linux build.
This way they wont need to support it. (naaturally, you would still need the login process and all).