complete Makefile with aiger folder as dependency for ebmc#1

mgudemann merged 1 commit intomasterdiffblue/hw-cbmc:masterfrom

fix/complete_subdirs_aigerdiffblue/hw-cbmc:fix/complete_subdirs_aigerCopy head branch name to clipboard