Rename webextension to webprocessextension
In order to avoid future conflicts with official web browser web extension, rename our current webextensions to webprocessextension.
In order to avoid future conflicts with official web browser web extension, rename our current webextensions to webprocessextension.