Show HN: GPUKill – A lightweight tool to kill stuck GPU jobs