Add verification number for #proviso IRC channel on Freenode