libmkv: Use uint64_t instead of UInt64.

The rest of the code uses stdint types and this makes porting
easier.

Change-Id: Ie2f565f6a919199f0145b6aea97bb7588548e97d