Allow the user to specify deployment options

Right now when IC deploys to the server, it specifies rollbackOnError=false (unless against production) and ignoreWarnings=true. This is generally what you want during development, but there are cases when the user wants other behavior. These should be checkboxes in the deployment dialog defaulting to the current assumptions that remember the previous selection across deployments.