Added log_file option to gerritbot.config

Also added in jenkins-specific message handling.
Modified IRC messages.