+mirage-profile.0.4

Sorry for the frequent releases. This update is needed when Lwt tracing is enabled, to support the new lwt#tracing feature of tracing conditions. Hopefully, new tracing features can be added in future without breaking mirage-profile...