Why developers like 7-Zip