Simple PHP proxy that restore proper MIME types for GitHub resources