Create KeccakF1600_driver.c

Driver file to check whether the implementation is correct