Update options.php

Define an option that will (optionally) be used to set a cookie so that the redirect action is only done once for a visiting browser.