ignore built files in gitignore
hardcoded proxy for downloading plugins.