Adds button to switch between informing / not informing the user when revoking a reservation. Fixes #10