updated redcode spec for 1.22 ('94 standard)

:')