Adding empty [General] section so plugins can add setting in there (for travis)