system_batch_page() should call drupal_exit() after drupal_access_denied()

Problem/Motivation

go to /batch and you'll get a 403 and a php warning:

Cannot modify header information - headers already sent by (output started at /var/www/html/includes/common.inc)

Proposed resolution

Remaining tasks

User interface changes

API changes

Data model changes

Release notes snippet