Document 1.3.x in Torbutton Design Doc and update Firefox Bug List

We have not been documenting any of the 1.3.x changes in the Torbutton Design Doc. We should do this soon.