The current project must be initially empty. When the server is ready, the
current project is set to the default Frama-C project. This project update
triggers requests to be sent if needed.