Port fixes from 64bit branch:
- missing le32toh() in generic timestamp getter.
- fix printf formatters in dvs128.c.
- require pointer to header instead of timestamp directly, easier for the user and for us.