Make DIGI header padding configurable at compile time.

Not really interested in changing it at runtime right now, but maybe?