Merged About into Options

Also renamed Settings to Options to follow Chrome’s terminology
Server port "purged from cache"
Popup removed. (wip commit)
Connect is now one-click.

* If a textarea is focused, use it.
* If only one textarea is present, use it.
* If more than one textarea is present, use the first one that gains
focus.
* If no textareas are present, alert the user
Added dev version install instructions.
Updated naming