Touched up numer formatting on irc lab, added 'completed all labs' message