.gitignore to avoid pushing compiled code