Updates to user ID processing

useridgen.py now reads data according to the crazy teacher's
single-line-jsonclean-format.