Add standard ml to the downloads
ignore coq compiled and emacs temp files
various configuration updates. read them.
Remove vim files and don't set it up