תקנות סדרי הדין של בית הדין למשמעת של עובדי המדינה (תיקון), התשנ"ג-1993 (תקנות)