Delete options.txt

It's pointless to have this here.