xml dump: fixed some bad xml output in the token list dump
travis: check --dump