Make IRC server details configurable via properties file, fixes #6