Implement the '--ignore-sandbox' option.

Fixes #1403.