Added missing include (functional)#109

hitimo wants to merge 1 commit intomasterethz-asl/ethzasl_brisk:masterfrom

fix/functionalethz-asl/ethzasl_brisk:fix/functionalCopy head branch name to clipboard