Have an OPTIONS file and make all options more flexible

[filipelbc]

Boolean options should have both modes: --(no-)xxx

All options should take the default value from the OPTIONS file.