Tools to ease development and deployment of browser extensions