Working getOptionsPanel.js (fuck that was hard!)
Due refactoring moving gDevTools code to main.js and parametrizing getOptionsPanel