Adding extra settings to ini file for Premake4 generation, this makes it easier for new users to be aware of all possible settings instead of relying on defaults