batch: batchdelete should offer a check box for deleting related page notices and group notices

[NovemLinguae]

Requested by JJPMaster at https://en.wikipedia.org/wiki/Wikipedia_talk:Twinkle#Allow_for_batch_deletion_of_editnotices

batchdelete should offer a check box for deleting related editnotices and groupnotices.

• add to UI: "Delete associated page notices and group notices". have this ticked by default
• add logic and API queries to delete page notices. page notices typically take the format Template:Editnotices/Page/[Namespace:Page_title]
• add logic and API queries to delete group notices. group notices typically take the format Template:Editnotices/Group/[Namespace:Page_title]. this doesn't need to recurse upward to find all group notices affecting the target page. it can just look for group notices directly associated with this page

Note that there also exist "edit notices" that work for User and User talk pages that aren't subpages. More details at https://en.wikipedia.org/wiki/Wikipedia:Editnotice#User_and_user_talk . Let's leave those off the ticket for now to avoid complexity.