Removed options.cfg from gitignore

If this is removed, then people don't download it on their first clone of the core.

The best option is to either not modify it, uncheck it before committing things or add to the local ignore.