added github-specific files