Machines or tools for setting lacing-hooks in shoes