Give all scripts a dune_ prefix

While testing the installation process, I realized, that it is not good to have unprefixed scripts installed globally. They might not only produce name clashes, the user should be able to find them easily to delete manually and all such.