Removed circular dependency between console.h and terminal.h (???); uncommented Echo On code so that Echo actually works.
Restructured menu bar: added nicer about pages [IDE-33]; added links to Propeller manual and datasheet [IDE-30]; exposed undo and redo in edit menu [IDE-11]