Prevent splash2txt exception on no-domain files

Prevent that splash2txt throws an exception if the splash input file does not contain domain information. Instead, print an information or error message and exit.