Add doc/ and target/ to .gitignore