Quantum universal variable-length source coding