Removed "TerminalIDE" subsection from "How to Build/Install" section.

It is now out of support.