חוק לתיקון דיני העונשין (עובדי הציבור), התשי"ז-1957 — בטל