Add FILE_LICENCE declarations to almost all files that make up the
various standard builds of gPXE.

We now have two implementations for the timer API: one using the
time-of-day counter at 40:70 and one using RDTSC.  Both make use of
timer2_udelay().