the AI should not be allowed to know whether the player is a novice and/or developer
renamed PreRules to Options
some further reasonable renames
Merge pull request #130 from jvoigtlaender/rules-refactoring

the AI should not be allowed to know whether the player is a novice and/or developer