Added --with-ida configure option; added ida Makefile target