JavaScript library for automating options pages in extensions for Opera 15+