docs/INSTALL: Updated example minimal binary sizes