Simplify the code for parsing 1*DIGIT header values

Follow-up from the change that ensured we don't get any
extra whitespace following the value. We can now call
binary_to_integer/1 which is more efficient.