Remove the registerOptions attribute from PushManager.register()

As discussed during the F2F -- we should hold off landing this until the change rationales have been published. Less proprietary bits are better :-).