Profile options configuration dialog

Also, profile options are now more conveniently stored in a variant map
for better access and notification.