Mention DTrace in INSTALL.