Drop memdbg.h from KeccakF-1600-opt64_plug.c - it was not working.
Add a missing added header.