options.js: Add a universal possibility to group settings
    
    Some options become meaningless when a parent settings is not set.
    Generalise the event listener created for XHR and use it also for
    time_precision.