IRC channel

Dear rioters,

I've created an IRC channel on freenode: #riot-os at irc.freenode.net (http://freenode.net/irc_servers.shtml)

For now it's meant more as a platform for faster communication between RIOT developers than a "support" channel. Feel free to join and discuss some RIOT.

Cheers, Oleg