Assign package proposal a number, change its filename, and merge it to torspec

See the pull request here: https://github.com/torproject/torspec/pull/60

It's been reviewed on tor-dev, and I have also reviewed it.