make id and extension_name configurable

The goal is simple branding, meaning that user will
not wonder "what is this addon with a weird name" since
they will see this is branded by the company.