Delete options.php

Not code I wrote, so removing from this code sample repo.