printing dlvhex executable used and printing ! in a copy&pase-able way