aide: remove devel
aide: remove devel

This was previously removed, but appears to have been mistakenly
added back on merge.

Closes Linuxbrew/homebrew-core#688.

Signed-off-by: Bob W. Hogg <c772a964fd55352a3510e5d535dd9ccc9ac30168@linux.com>

Linuxbrew/homebrew-core,LinuxbrewTestBot/homebrew-core,rwhogg/homebrew-core,maxim-belkin/homebrew-core,rwhogg/homebrew-core,LinuxbrewTestBot/homebrew-core,maxim-belkin/homebrew-core,Linuxbrew/homebrew-core