Add Tracing support

• Add register ~tracing to enable tracing with mirage-profile at start-up (#321).
• Update Dockerfile for latest libraries (#320).
• Only build mirage-types if Io_page is also installed (#324).