Added IRC info, fixed Vagrant documentation.