Popup flashproxy status reflects background flashproxy.

Functional changes are mainly in menu.html and menu.js. The changes in flashproxy.js are mainly to add a new 'status' field to FlashProxy which would be useful if you ever want to display the flashproxy status in another way without using the badge, but for now the field is not used. Also I removed the links to http://crypto.stanford.edu/flashproxy/options.html since those aren't applicable now that the flashproxy script is loaded locally.