Release 2.4.0

Fix cmdliner man (#429) (#431)

* Fix error in parse_command for profiling option documentation

* Use with-stdout-to instead of with-outputs-to in dune command for manpage generation

* Fix Gui configuration file initialisation