Describir: Proximal Algorithms for Discrete-Level Phase-Shifting Mask Design with Application to Optogenetics