Technical Design Report (TDR): Searching for a Sterile Neutrino at J-PARC MLF (E56, JSNS2) — arXiv2