Add .gitignore and COPYING; some minor edits