KiCAD: Footprint for pushbutton (arduino)
Those switches are fairly standard.  I'm not sure if you're planning on bending the leads out or in, but the SW_Push_1P1T_NO_CK_KSC6xxJ footprint looks like it should work.