Technical Design Report for the Paul Scherrer Institute Experiment R-12-01.1: Studying the Proton "Radius" Puzzle with $\mu p$ Elastic Scattering