Numerical optimal control of the wave equation: optimal boundary control of a string to rest in finite time