Copyright update
Added size_t and off_t

Required a bit of work to get 64-bit arithmetic going. Largely borrowed
from pintos.