Microsoft: This is how coronavirus home-working is changing our developers' habits