Update heads_ide/runtime.md (and .gitignore)