Fix symbol map installation: - install symbol maps - add documentation for dune `pps` dependencies