ide: move ide.txt to Documentation/ide/