Add whitelist of options that may be changed for re-analysis

[michael-schwarz]

The server should only accept changes to options that can be changed in an incremental analysis.