Miro 4.0 has been released. Ars explores the new version, which offers music library management and support for syncing with Android devices.