Removed left over settings parameter "compilation-server".
Added settings version number to make it easier to handle settings upgrades in the future.