fix up literate compiler etc
edited .gitignore