added some files, stupidly hidden by the preceding .gitignore