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