docs/ide-support.md: Add Makefile.ide to odd file types
docs/ide-support.md: Add Makefile.ide to odd file types

BUG=b:236389226,b:176500425
TEST=none
BRANCH=none

Signed-off-by: Andrea Grandi <f017805e76e0e7a74072a3bac1b6e29e65eedeab@google.com>
Change-Id: Id299114099cb0e26c26de547287ee90618294ae8
Reviewed-on: https://chromium-review.googlesource.com/c/chromiumos/platform/ec/+/3861290
Reviewed-by: Bobby Casey <a3c107f0b4efaee07148ab0813ba992bba562a69@google.com>
Reviewed-by: Craig Hesling <383db090fd8ef907a606ac8a9eccd2962bc489cf@chromium.org>

coreboot/chrome-ec,coreboot/chrome-ec,coreboot/chrome-ec,coreboot/chrome-ec,coreboot/chrome-ec,coreboot/chrome-ec