LeptonInjector and LeptonWeighter: A neutrino event generator and weighter for neutrino observatories. (arXiv:2012.10449v1 [physics.comp-ph]) http://arxiv.org/abs/2012.10449