Options builder

Make Options unmodifiable after creation.
Add create Options via Builder.
No need to keep in repository IDEA configuration file.