Infinifactory: UPDATE: Linux fixes, quality settings

Today's patch fixes two Linux-specific bugs, one involving render textures and the other involving non-English locales. It also adds resolution and quality settings to the options menu, allowing players on all operating…