switch to Robert's optimised implementation

(keccak2.sml)