Exceptionally small chrome extension to toggle tab's url between HTTP and HTTPS