add symbol upload script

[willkg]

We should add a symbol upload script. It comes up often enough that it'd be handy to have.

The one in bin/upload-sym.py in the Tecken repository is a good starting point, but we will want to adjust the ergonomics to match other scripts in this project.