Update splash2txt to work with splash 1.2.3 (only)

 - Up libsplash requirement for splash2txt to 1.2.3 (to be released yet)
 - fix print of datasets to cope with new delimiter-free datasets