Fixed bug in "getNumber" pipe.

getNumber extracted all digits from a filename, instead of just the
first contiguous segment.
getNumber now has an error case

If a filename contained no number, the pipe "getNumber" returned an
empty filename as the renaming goal. In such cases, it now fails with a
"No number found!" message.