[cmake] Use CMAKE_DL_LIBS instead of a more complex libdl dance
[hyperruntime] Allow to configure the listening port