Upload PDB to S3 when publishing and add docs on setting up symbol server

Fixes #784.