Fixed demo_KeccakF and a few other minor details