gitserver: Use POST for /archive

Created by: chrismwendt

POST puts the URL parameters in the body, which avoids URL length limits that the symbols service could hit when passing a lot of paths to /archive.

I also updated the comment on the max total paths size after I realized there's a limit to argv on OSes.