Have Travis send IRC notifications, and fix docs.