Update spec.torproject.org for new specs

There are 4 new specs, and one has moved. It would also be nice to map proposals/

Is this an automated process, or does it need a manual patch?