INSTALL.md: radical changes & .gitignore: add core files.

* My gedit crashed and git wanted to commit the core file for it.

[SKIP CI]