Include both name and version in distribution file headers.

Before, file headers started with `SPF X.Y.Z`.  Now, they will start with
`SPF NN (vX.Y.Z)`.
done