add optimized recipe to Makefile devel
-rw-r--r-- 203 .project
drwxr-xr-x - DH-Keccak