Added keccak_hol.sml which is supposed to become the theory behind the permutation.
Merge branch 'master' of github.com:xrchz/mitb