DistilBERT, a distilled version of BERT: smaller, faster, cheaper and lighter

paper: https://arxiv.org/pdf/1910.01108.pdf, Victor sanh, et al., arXiv, 2019.