Dune: depend on non-Dune libraries in the workspace

The issue was the one discussed here: Strange error in dune building