Allow estimate-difficulty to be exported (in Linux/macOS/Windows) as independent executable, so that it can be used without having to install Frama-C.
