aes-test: gitignore, makefile updates.
aes-test: move .c/.h to separate dir.
cbmc: bump timeout to 10 secs.