New binary format of domain files

[alldefector]

To support data programming, we changed the format for the domains.tsv file: https://github.com/HazyResearch/sampler/pull/56/files?short_path=edd1ba4#diff-edd1ba423e261789fbfc9e5a065d9e22

We need to update dataloading.py accordingly.