more coding style fixes
backport DevReader infrastructure from trunk (r144)
remove Option* classes, replaced by Setting and SettingStore
prepare for settings to be read and written from/to files
fix overflow check for 64-bit systems

41 files changed